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
- Solver for Constrained Horn Clauses☆37Updated this week
- TriCera: a model checker for C programs☆24Updated this week
- Apron Numerical Abstract Domain Library☆120Updated this week
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- PC-miner tool for program chairs☆24Updated this week
- Communication between Coq and SAT/SMT solvers☆158Updated 6 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 10 months ago
- Generates loop invariants for program verification☆61Updated 4 years ago
- PL conference deadline countdowns☆57Updated 2 weeks ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- The Eldarica model checker☆83Updated this week
- An SMT Solver for string constraints☆37Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- Ltac2 tutorial☆43Updated 2 years ago
- ☆45Updated 3 months ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated this week
- Definition of the Viper intermediate verification language.☆82Updated last week
- An automated deductive program verifier.☆42Updated 2 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆20Updated last week
- ☆12Updated 9 months ago
- Staged Abstract Interpreters☆65Updated 2 years ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last month
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆97Updated last week