Alternatives and similar repositories for aaltaf:

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

• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆23Updated last month
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• mgudemann / iimc
  ☆11Updated 7 years ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆21Updated 6 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆19Updated 3 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆20Updated 2 months 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
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆11Updated last week
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆13Updated 9 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated last year
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated last month
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• uuverifiers / eldarica
  The Eldarica model checker
  ☆82Updated this week
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆24Updated last year
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• havelund / dejavu
  The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
  ☆18Updated 10 months ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• fredfeng / CS190I
  Program Synthesis
  ☆12Updated 3 years ago
• seahorn / verify-c-common
  ☆16Updated 7 months ago