Symbolic execution tool
A Proof-oriented Programming Language
Automatic verification of LLVM optimizations
pySMT: A library for SMT formulae manipulation and solving
APALACHE: symbolic model checker for TLA+ and Quint
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
Rust bindings for the Z3 solver.
SMACK Software Verifier and Verification Toolchain
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
A verifier for automated and interactive proofs about transition systems.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."