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
☆44Updated 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☆47Updated this week
- The Eldarica model checker☆99Updated last month
- Staged Abstract Interpreters☆69Updated 2 years ago
- PC-miner tool for program chairs☆29Updated 3 weeks ago
- Apron Numerical Abstract Domain Library☆144Updated 9 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 6 months ago
- Generates loop invariants for program verification☆63Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆38Updated 4 months ago
- TriCera: a model checker for C programs☆26Updated 3 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- Communication between Coq and SAT/SMT solvers☆162Updated 3 weeks ago
- An automated deductive program verifier.☆42Updated 2 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 8 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆115Updated this week
- A SyGuS Solver☆30Updated 7 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 3 weeks ago
- PL conference deadline countdowns☆63Updated last month
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- ☆17Updated last year
- Duet: static analysis for unbounded concurrency☆29Updated 3 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆19Updated 3 years ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated 2 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- SMTInterpol interpolating SMT solver☆68Updated this week
- Formalization of C++ for verification purposes.☆86Updated last week
- SRI Sally: A model checker for infinite-state systems.☆75Updated 5 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- solver for the reachability modulo theories problem☆62Updated 2 years ago
- AE-solver and Skolemizer☆17Updated last year