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
☆44May 25, 2021Updated 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☆18Dec 18, 2022Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Apron Numerical Abstract Domain Library☆144Feb 13, 2026Updated 2 weeks ago
- ☆22Apr 17, 2023Updated 2 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆43Oct 31, 2025Updated 4 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- ☆20May 30, 2024Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 2 weeks ago
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated this week
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- DOrder -- Automatically Learning Shape Specifications☆20Jun 19, 2017Updated 8 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆134Apr 7, 2023Updated 2 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 8 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- 我上了俞珺华老师 2017 年春季的证明论课,记了些笔记,慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- ☆13Feb 18, 2025Updated last year