Alternatives and similar repositories for aaltaf:

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

• seahorn / verify-c-common
  ☆17Updated 10 months ago
• tpchina / tpchina.github.io
  ☆17Updated last week
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated this week
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆42Updated last week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆38Updated this week
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆13Updated 10 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 2 weeks ago
• havelund / dejavu
  The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
  ☆18Updated last year
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆28Updated 6 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 2 weeks ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated last month
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 2 weeks ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• mgudemann / iimc
  ☆12Updated 7 years ago
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 4 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆20Updated 6 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆18Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated 2 weeks ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated last month
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆14Updated 2 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago