DennisYurichev / Sat_smt_by_example
"SAT/SMT by example" free ebook
Stars: ✭ 339
Labels
Projects that are alternatives of or similar to Sat smt by example
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+0.59%)
Mutual labels: verification, smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+3.83%)
Mutual labels: verification, smt
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (-63.13%)
Mutual labels: verification, smt
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+540.41%)
Mutual labels: verification, smt
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (-28.91%)
Mutual labels: verification, smt
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (-41.3%)
Mutual labels: verification, smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (-10.03%)
Mutual labels: verification, smt
Verifier
Package verifier provides simple defensive programing primitives.
Stars: ✭ 264 (-22.12%)
Mutual labels: verification
silver
Definition of the Viper intermediate verification language.
Stars: ✭ 28 (-91.74%)
Mutual labels: verification
react-native-sms-user-consent
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-86.73%)
Mutual labels: verification
Kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
Stars: ✭ 285 (-15.93%)
Mutual labels: verification
Rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (-92.04%)
Mutual labels: verification
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (-37.17%)
Mutual labels: verification
Prusti Dev
A static verifier for Rust, based on the Viper verification infrastructure.
Stars: ✭ 302 (-10.91%)
Mutual labels: verification
vercors
The VerCors verification toolset for verifying parallel and concurrent software
Stars: ✭ 30 (-91.15%)
Mutual labels: verification
Download PDF: https://yurichev.com/writings/SAT_SMT_by_example.pdf
Homepage: https://yurichev.com/SAT_SMT.html
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].