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
☆41Updated 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☆39Updated last week
- PC-miner tool for program chairs☆27Updated 3 months ago
- TriCera: a model checker for C programs☆25Updated this week
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- Apron Numerical Abstract Domain Library☆127Updated 3 months ago
- Communication between Coq and SAT/SMT solvers☆159Updated 9 months ago
- PL conference deadline countdowns☆60Updated 2 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- AE-solver and Skolemizer☆17Updated 6 months ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 2 months ago
- The Eldarica model checker☆88Updated 3 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 3 months ago
- The main codex repository☆23Updated 8 months ago
- Ltac2 tutorial☆45Updated 2 years ago
- A SyGuS Solver☆28Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- ☆52Updated 6 months ago
- A Lustre compiler in Coq☆70Updated last week
- An automated deductive program verifier.☆42Updated 2 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- ☆38Updated this week
- Cerberus C semantics☆62Updated last week
- An automated deductive program verifier based on concurrent separation logic☆17Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆122Updated 4 months ago
- Formalization of C++ for verification purposes.☆81Updated this week
- Staged Abstract Interpreters☆66Updated 2 years ago
- Duet: static analysis for unbounded concurrency☆25Updated 2 weeks ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago