PrAbsInt / appendix
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 3 years ago
Alternatives and similar repositories for appendix:
Users that are interested in appendix are comparing it to the libraries listed below
- Apron Numerical Abstract Domain Library☆120Updated last month
- TriCera: a model checker for C programs☆24Updated this week
- Solver for Constrained Horn Clauses☆36Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 10 months ago
- PL conference deadline countdowns☆55Updated this week
- AE-solver and Skolemizer☆16Updated 3 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆158Updated 5 months ago
- Definition of the Viper intermediate verification language.☆82Updated this week
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated 9 months ago
- Deductive verification infrastructure for probabilistic programs☆16Updated this week
- Generates loop invariants for program verification☆61Updated 4 years ago
- ☆44Updated 3 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month
- The Eldarica model checker☆83Updated last week
- A mechanisation of Wasm in Coq(Rocq)☆101Updated this week
- Ltac2 tutorial☆43Updated 2 years ago
- SMTInterpol interpolating SMT solver☆63Updated last month
- PC-miner tool for program chairs☆24Updated this week
- A Flexible and Efficient Proof Checker for SMT Solvers☆20Updated this week
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- The Termination Problem Database☆28Updated last month
- A Lustre compiler in Coq☆66Updated this week
- A model checker for infinite-state systems.☆71Updated 2 months ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago