PrAbsInt / appendixLinks
Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited authors, as well as a corrigendum
☆43Updated 4 years ago
Alternatives and similar repositories for appendix
Users that are interested in appendix are comparing it to the libraries listed below
Sorting:
- Solver for Constrained Horn Clauses☆45Updated this week
- Generates loop invariants for program verification☆62Updated 4 years ago
- The Eldarica model checker☆91Updated 3 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Apron Numerical Abstract Domain Library☆133Updated 5 months ago
- TriCera: a model checker for C programs☆25Updated this week
- Communication between Coq and SAT/SMT solvers☆160Updated 11 months ago
- SymDiff-Differential-Program-Verifier☆37Updated 3 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 2 months ago
- PL conference deadline countdowns☆61Updated 2 weeks ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 4 months ago
- An SMT Solver for string constraints☆39Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆27Updated 5 months ago
- PC-miner tool for program chairs☆27Updated last month
- An automated deductive program verifier.☆42Updated 2 years ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- ☆13Updated last year
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated this week
- Libraries useful for Dafny programs☆45Updated 3 weeks ago
- AE-solver and Skolemizer☆17Updated 9 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last week
- An automated deductive program verifier based on concurrent separation logic☆20Updated last month
- Program Synthesis☆15Updated 4 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆18Updated 2 years ago
- The Termination Problem Database☆30Updated 3 weeks ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated last month
- SMTInterpol interpolating SMT solver☆68Updated last month
- Formalization of C++ for verification purposes.☆84Updated last week