Showing entries 101-130 out of 130.
Automated theorem prover for first-order logic
Verification of stateful processes (via Proverif)
Simple Theorem Prover
SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler
Tooling for Yosys-based verification flows
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Security protocol verification in the symbolic model
IDE for the TLA+ tools
tlaplustlaplus
An algorithm specification language with model checking tools
tlaplustlaplus18
An algorithm specification language with model checking tools
Mechanically check TLA+ proofs
Thousands of problems for theorem provers and tools
Logic proof assistant
Universal Hardware Data Model
The Vampire Theorem Prover
Verification for C and Java programs via separation logic
An open, trustable and efficient SMT-solver
A platform for deductive program verification
Framework for interpreted graph modeling, verification and synthesis
A high-performance theorem prover and SMT solver
z3z3
A high-performance theorem prover and SMT solver
z3z3_4_11
A high-performance theorem prover and SMT solver
z3z3_4_12
A high-performance theorem prover and SMT solver
z3z3_4_8_5
A high-performance theorem prover and SMT solver
A high-performance theorem prover and SMT solver
A high-performance theorem prover and SMT solver
A high-performance theorem prover and SMT solver
A high-performance theorem prover and SMT solver
TPTP wrapper for Z3 prover
Accelerated SAT Solver from Princeton