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:
- Apron Numerical Abstract Domain Library☆142Updated 9 months ago
- Solver for Constrained Horn Clauses☆48Updated last week
- Staged Abstract Interpreters☆69Updated 2 years ago
- PC-miner tool for program chairs☆29Updated this week
- Communication between Coq and SAT/SMT solvers☆160Updated this week
- The Eldarica model checker☆98Updated 3 weeks ago
- TriCera: a model checker for C programs☆26Updated last week
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- Generates loop invariants for program verification☆63Updated 4 years ago
- Formalization of C++ for verification purposes.☆85Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 5 months ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 8 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated last week
- SymDiff-Differential-Program-Verifier☆38Updated 4 months ago
- PL conference deadline countdowns☆63Updated 2 weeks ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated this week
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆19Updated 3 years ago
- A SyGuS Solver☆30Updated 7 months ago
- AE-solver and Skolemizer☆17Updated last year
- An automated deductive program verifier.☆42Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 3 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated 2 months ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- Libraries useful for Dafny programs☆45Updated 4 months ago
- An SMT Solver for string constraints☆48Updated last month
- SMTInterpol interpolating SMT solver☆68Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- Duet: static analysis for unbounded concurrency☆28Updated 3 months ago
- ☆14Updated 3 weeks ago