Marghrid / FORESTLinks
Regular expression for form validations synthesizer
☆15Updated 6 months ago
Alternatives and similar repositories for FOREST
Users that are interested in FOREST are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- PC-miner tool for program chairs☆29Updated last month
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 8 months ago
- Solver for Constrained Horn Clauses☆46Updated this week
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 3 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Implementing Halide's TRS inside of EGG☆32Updated 2 years ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- An SMT Solver for strings☆10Updated 7 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 4 months ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated 11 months ago
- ☆13Updated 4 years ago
- Tiny verified SAT-solver☆30Updated 3 years ago
- Partition refinement☆16Updated 2 years ago
- SMTInterpol interpolating SMT solver☆68Updated last week
- Verimag Polyhedra Library☆18Updated 6 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 8 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 8 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated last week
- Gallina to Bedrock2 compilation toolkit☆61Updated last week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆80Updated last week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago