lu-cs-sde / codeproberLinks
Tool implementing Property Probes
☆22Updated last month
Alternatives and similar repositories for codeprober
Users that are interested in codeprober are comparing it to the libraries listed below
Sorting:
- Online BDD Simulation Tool☆25Updated 4 months ago
- ☆14Updated 2 years ago
- ☆20Updated 2 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Libraries useful for Dafny programs☆45Updated 4 months ago
- The PERPL Compiler☆14Updated 2 months ago
- The Termination Problem Database☆30Updated 4 months ago
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- ☆41Updated 6 years ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 3 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 11 months ago
- ☆21Updated 8 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 2 months ago
- The Ciao Preprocessor☆12Updated 6 months ago
- A program for making zooming slides in figma.☆41Updated 5 months ago
- Collapsing Towers of Interpreters☆93Updated 6 months 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
- ☆17Updated 8 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆66Updated last week
- Mystery Languages☆41Updated 2 years ago
- Definition of the Viper intermediate verification language.☆92Updated this week
- Program Synthesis Course☆264Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago