johnyf / tool_lists

Related projects ⓘ

Alternatives and complementary repositories for tool_lists

• SRI-CSL / yices2
  The Yices SMT Solver
  ☆374Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆107Updated last year
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆432Updated last month
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆504Updated 4 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆137Updated this week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆182Updated last month
• boogie-org / boogie
  Boogie
  ☆514Updated this week
• arminbiere / satch
  SAT Solver SATCH
  ☆108Updated 2 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆195Updated 2 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆576Updated 3 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆199Updated this week
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆227Updated this week
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆525Updated last month
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated 3 weeks ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆300Updated this week
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆153Updated 5 months ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆442Updated this week
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆335Updated 2 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆82Updated 3 weeks ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆30Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆22Updated 4 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆78Updated this week
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆643Updated 5 months ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆667Updated 5 months ago
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆128Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆114Updated 3 months ago