Alternatives and similar repositories for aaltaf:

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

• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated last year
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆19Updated 4 months ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• agurfinkel / spacer-on-jupyter
  ☆16Updated last year
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆25Updated last year
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• WaliDev / WALi-OpenNWA
  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
  ☆18Updated 6 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated this week
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆22Updated 3 years ago
• Mtac2 / Mtac2
  ☆54Updated 2 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 3 weeks ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆21Updated 6 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated last week
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated 3 weeks ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 5 months ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 3 months ago
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆28Updated this week
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated 2 weeks ago