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:
- Staged Abstract Interpreters☆68Updated 2 years ago
- PC-miner tool for program chairs☆29Updated 2 months ago
- Solver for Constrained Horn Clauses☆48Updated last week
- Apron Numerical Abstract Domain Library☆142Updated 8 months ago
- Generates loop invariants for program verification☆63Updated 4 years ago
- The Eldarica model checker☆98Updated last week
- SymDiff-Differential-Program-Verifier☆38Updated 3 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated last week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 5 months ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- TriCera: a model checker for C programs☆26Updated last week
- ☆15Updated last year
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- PL conference deadline countdowns☆63Updated last week
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 7 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- Formalization of C++ for verification purposes.☆85Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆111Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆84Updated this week
- Libraries useful for Dafny programs☆45Updated 3 months ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago
- An automated deductive program verifier based on concurrent separation logic☆26Updated last week
- solver for the reachability modulo theories problem☆62Updated 2 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- AE-solver and Skolemizer☆17Updated 11 months ago
- SMTInterpol interpolating SMT solver☆68Updated 2 weeks ago
- An SMT Solver for string constraints☆47Updated last week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆33Updated last week