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☆46Updated this week
- Apron Numerical Abstract Domain Library☆136Updated 6 months ago
- The Eldarica model checker☆94Updated 2 weeks ago
- PC-miner tool for program chairs☆29Updated 2 weeks ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- Generates loop invariants for program verification☆63Updated 4 years ago
- TriCera: a model checker for C programs☆25Updated this week
- Communication between Coq and SAT/SMT solvers☆160Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 3 months ago
- SymDiff-Differential-Program-Verifier☆37Updated last month
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆18Updated 2 years ago
- AE-solver and Skolemizer☆17Updated 9 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆27Updated 6 months ago
- PL conference deadline countdowns☆62Updated last month
- An automated deductive program verifier.☆42Updated 2 years ago
- The Termination Problem Database☆30Updated last month
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆31Updated last week
- An automated deductive program verifier based on concurrent separation logic☆20Updated last month
- ☆56Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated 2 weeks ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- Formalization of C++ for verification purposes.☆84Updated this week
- An SMT Solver for string constraints☆39Updated last week
- SRI Sally: A model checker for infinite-state systems.☆73Updated 2 months ago
- Ltac2 tutorial☆46Updated 2 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 5 months ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated last week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago