Alternatives and similar repositories for BASIL:

Users that are interested in BASIL are comparing it to the libraries listed below

• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated last week
• seahorn / verify-c-common
  ☆16Updated 10 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆20Updated last week
• agurfinkel / spacer-on-jupyter
  ☆17Updated last year
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆14Updated last year
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆14Updated 4 months ago
• opencompl / egg-tactic-code
  ☆16Updated last year
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆14Updated last week
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated 9 months ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆24Updated last year
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆13Updated last month
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆37Updated this week
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated 2 weeks ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆16Updated last week
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last week
• mgudemann / iimc
  ☆11Updated 7 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• trishullab / cflobdd
  ☆11Updated 9 months ago
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆12Updated 10 months ago
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆13Updated 4 months ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• owl-toolkit / owl
  ☆16Updated last year
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated last month
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 4 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week