VeriFIT / mata
A fast and simple automata library
☆23Updated this week
Related projects ⓘ
Alternatives and complementary repositories for mata
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- The Termination Problem Database☆27Updated 5 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- ☆33Updated this week
- AE-solver and Skolemizer☆17Updated last year
- TriCera: a model checker for C programs☆18Updated last week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 7 months ago
- ☆19Updated 7 months ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- ☆15Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- Solver for Constrained Horn Clauses☆34Updated this week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated last month
- PL conference deadline countdowns☆52Updated 2 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- An automated deductive program verifier.☆39Updated last year
- Performant and safe knowledge compilation in rust☆24Updated 3 weeks ago
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- Hanoi Omega-Automata Format☆14Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆86Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- ☆16Updated last year
- Approximate Model Counter☆70Updated 4 months ago
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- The first scalable probabilistic exact counter☆26Updated 7 months ago