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
☆40Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for appendix
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆14Updated last year
- TriCera: a model checker for C programs☆18Updated last week
- Generates loop invariants for program verification☆58Updated 3 years ago
- Apron Numerical Abstract Domain Library☆113Updated 3 months ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- Communication between Coq and SAT/SMT solvers☆156Updated 2 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆22Updated 5 months ago
- Solver for Constrained Horn Clauses☆34Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 6 months ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- The Eldarica model checker☆80Updated 3 weeks ago
- A SyGuS Solver☆22Updated 3 months ago
- ☆25Updated this week
- Ltac2 tutorial☆42Updated 2 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Duet: static analysis for unbounded concurrency☆23Updated 2 weeks ago
- Deductive verification infrastructure for probabilistic programs☆15Updated 2 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- AE-solver and Skolemizer☆17Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Definition of the Viper intermediate verification language.☆79Updated this week
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- The opensmt solver☆77Updated this week