johnyf / tool_lists
Links to tools by subject
☆366Updated 6 months ago
Related projects: ⓘ
- The Yices SMT Solver☆368Updated last week
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆106Updated last year
- SAT Solver SATCH☆105Updated last year
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆178Updated 4 months ago
- pySMT: A library for SMT formulae manipulation and solving☆568Updated last month
- SMACK Software Verifier and Verification Toolchain☆427Updated last week
- A gently curated list of companies using verification formal methods in industry☆486Updated 2 months ago
- The main development version of the PRISM model checker.☆154Updated this week
- Verified Software Toolchain☆436Updated this week
- A Modern Probabilistic Model Checker☆133Updated last week
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago
- Implementation of multi-core (binary) decision diagrams☆65Updated 3 months ago
- Boogie☆504Updated last week
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆222Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- The Ultimate program analysis framework.☆194Updated this week
- Automated Reasoning in Nonlinear Theories of Reals☆150Updated 3 months ago
- Apron Numerical Abstract Domain Library☆102Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- SeaHorn Verification Framework☆436Updated 2 weeks ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆278Updated this week
- The LTSmin model checking toolset☆52Updated 6 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆334Updated 3 weeks ago
- A curated set of links to formal methods involving provable code.☆191Updated 2 years ago
- The opensmt solver☆74Updated this week
- The Vampire Theorem Prover☆281Updated this week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆223Updated 3 years ago
- Formal Reasoning About Programs☆658Updated 3 months ago