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
☆42Updated 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☆41Updated last week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last month
- Staged Abstract Interpreters☆69Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆161Updated 10 months ago
- Apron Numerical Abstract Domain Library☆131Updated 4 months ago
- TriCera: a model checker for C programs☆25Updated 3 weeks ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- The Eldarica model checker☆89Updated 2 months ago
- PC-miner tool for program chairs☆27Updated 4 months ago
- PL conference deadline countdowns☆61Updated 2 weeks ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 3 months ago
- SymDiff-Differential-Program-Verifier☆36Updated 3 weeks ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆17Updated 2 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated 3 weeks ago
- ☆52Updated 8 months ago
- An SMT Solver for string constraints☆39Updated last month
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆104Updated this week
- An automated deductive program verifier based on concurrent separation logic☆19Updated 2 weeks ago
- Formalization of C++ for verification purposes.☆84Updated this week
- SRI Sally: A model checker for infinite-state systems.☆73Updated this week
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 3 years ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 4 months ago
- Lecture material for DeepSpec Summer School 2017☆88Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- ☆13Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- AE-solver and Skolemizer☆17Updated 7 months ago
- Ltac2 tutorial☆45Updated 2 years ago