Symbolic execution tool
-
Updated
Sep 15, 2023 - Python
Symbolic execution tool
A Proof-oriented Programming Language
Simple Theorem Prover, an efficient SMT solver for bitvectors
pySMT: A library for SMT formulae manipulation and solving
This plugin allows you to configure email notifications for build results
Rust bindings for the Z3 solver.
Automatic verification of LLVM optimizations
SMACK Software Verifier and Verification Toolchain
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
A Go library that implements a Sparse Merkle tree for a key-value map.
Verification framework and tool for higher-order Scala programs
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
APALACHE: symbolic model checker for TLA+ and Quint
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."