Symbolic execution tool
Triton is a dynamic binary analysis library. Build your own program anal...
A Proof-oriented Programming Language
Liquid Types For Haskell
Automatic verification of LLVM optimizations
Transpiler of Python to many other languages
pySMT: A library for SMT formulae manipulation and solving
Better parametric search for components available for JLC PCB assembly
Simple Theorem Prover, an efficient SMT solver for bitvectors
SMACK Software Verifier and Verification Toolchain
APALACHE: symbolic model checker for TLA+ and Quint
Verification framework and tool for higher-order Scala programs
The efficient SMT-based context-bounded model checker (ESBMC)
SMT Based Verification in Haskell. Express properties about Haskell prog...