A Proof-oriented Programming Language
A frontend for multiple SMT solvers in OCaml
Automatic verification of LLVM optimizations
WebAssembly Swissknife & cross-language bugfinder
NCubeV - The Nonlinear Neural Network Verifier
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
A Kafka Connect Single Message Transform (SMT) that enables you to append the record key to the value as a named field
A monadic library for symbolic evaluation
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."