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:
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- TriCera: a model checker for C programs☆25Updated this week
- PC-miner tool for program chairs☆27Updated 2 months ago
- Solver for Constrained Horn Clauses☆39Updated this week
- Apron Numerical Abstract Domain Library☆125Updated 2 months ago
- PL conference deadline countdowns☆60Updated 2 months ago
- Communication between Coq and SAT/SMT solvers☆159Updated 8 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- Generates loop invariants for program verification☆62Updated 4 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- AE-solver and Skolemizer☆17Updated 5 months ago
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- ☆51Updated 6 months ago
- ☆17Updated last month
- Lecture material for DeepSpec Summer School 2017☆88Updated 3 years ago
- Ltac2 tutorial☆45Updated 2 years ago
- Cerberus C semantics☆61Updated last week
- Formalization of C++ for verification purposes.☆80Updated this week
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆16Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 2 months ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated last month
- Program Synthesis☆15Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- WASP was superseded by: https://github.com/OCamlPro/owi☆15Updated 9 months ago
- A SyGuS Solver☆28Updated 2 weeks ago
- The Eldarica model checker☆86Updated this week
- The main codex repository☆19Updated 8 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week