Showing entries 101-127 out of 127.
Simple Theorem Prover
SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler
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
Algorithm specification language with model checking tools
tlaplustlaplus18
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
Vampire Theorem Prover
Verification for C and Java programs via separation logic
Open, trustable and efficient SMT-solver
Platform for deductive program verification
Framework for interpreted graph modeling, verification and synthesis
High-performance theorem prover and SMT solver
z3z3
High-performance theorem prover and SMT solver
z3z3_4_11
High-performance theorem prover and SMT solver
z3z3_4_12
High-performance theorem prover and SMT solver
z3z3_4_8_5
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
TPTP wrapper for Z3 prover
Accelerated SAT Solver from Princeton