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:
- Solver for Constrained Horn Clauses☆39Updated this week
- TriCera: a model checker for C programs☆25Updated last week
- Generates loop invariants for program verification☆62Updated 4 years ago
- Communication between Coq and SAT/SMT solvers☆161Updated 9 months ago
- Apron Numerical Abstract Domain Library☆130Updated 3 months ago
- The Eldarica model checker☆88Updated last month
- AE-solver and Skolemizer☆17Updated 7 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆36Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆57Updated last week
- PL conference deadline countdowns☆60Updated 2 weeks ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 3 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆104Updated this week
- ☆52Updated 7 months ago
- An automated deductive program verifier based on concurrent separation logic☆18Updated last week
- Definition of the Viper intermediate verification language.☆87Updated this week
- Program Synthesis☆15Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- Tons of Inductive Problems: The Benchmarks☆26Updated 2 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Ltac2 tutorial☆45Updated 2 years ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated 2 weeks ago
- ☆38Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆17Updated 2 months ago
- ☆26Updated last year