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☆44Updated this week
- TriCera: a model checker for C programs☆25Updated last week
- PC-miner tool for program chairs☆27Updated last week
- SymDiff-Differential-Program-Verifier☆36Updated last month
- Apron Numerical Abstract Domain Library☆132Updated 5 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Communication between Coq and SAT/SMT solvers☆160Updated 11 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last month
- Staged Abstract Interpreters☆69Updated 2 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆17Updated 2 years ago
- The Eldarica model checker☆91Updated 2 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 5 months ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated 3 weeks ago
- An automated deductive program verifier based on concurrent separation logic☆20Updated last week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated 11 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated this week
- SMTInterpol interpolating SMT solver☆68Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- An SMT Solver for string constraints☆39Updated last month
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- AE-solver and Skolemizer☆17Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated last month
- Formalization of C++ for verification purposes.☆84Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆31Updated 3 weeks ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 4 months ago
- PL conference deadline countdowns☆61Updated last month
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- ☆39Updated last week