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:
- PC-miner tool for program chairs☆29Updated last month
- Apron Numerical Abstract Domain Library☆137Updated 7 months ago
- Solver for Constrained Horn Clauses☆46Updated this week
- The Eldarica model checker☆94Updated last month
- Staged Abstract Interpreters☆68Updated 2 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆18Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆160Updated 3 weeks ago
- TriCera: a model checker for C programs☆25Updated last week
- Generates loop invariants for program verification☆63Updated 4 years ago
- PL conference deadline countdowns☆62Updated last month
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 3 months ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 6 months ago
- Formalization of C++ for verification purposes.☆84Updated this week
- SymDiff-Differential-Program-Verifier☆37Updated 2 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆80Updated 2 weeks ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- PPLite: convex polyhedra library for Abstract Interpretation☆29Updated 7 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆57Updated last month
- Cerberus C semantics☆71Updated 2 months ago
- Program Synthesis☆15Updated 4 years ago
- Ltac2 tutorial☆46Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆21Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- ☆39Updated 3 weeks ago
- AE-solver and Skolemizer☆17Updated 10 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆32Updated 2 weeks ago