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
☆46May 25, 2021Updated 5 years ago
Alternatives and similar repositories for appendix
Users that are interested in appendix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆23Dec 18, 2022Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- Apron Numerical Abstract Domain Library☆149Feb 13, 2026Updated 5 months ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- ☆23Apr 17, 2023Updated 3 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆49Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆31Jul 2, 2026Updated 2 weeks ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 4 months ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆20Updated this week
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆39Aug 21, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- ☆31Jul 14, 2026Updated last week
- ELINA: ETH LIbrary for Numerical Analysis☆137Apr 7, 2023Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- Program Round-off Error Certifier via Static Analysis☆57Dec 8, 2025Updated 7 months ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆83Jul 3, 2026Updated 2 weeks ago
- Lyra is a prototype static analyzer for data science applications written in Python.☆31Aug 18, 2025Updated 11 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆125Updated this week
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- DOrder -- Automatically Learning Shape Specifications☆20Jun 19, 2017Updated 9 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated 2 months ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 3 weeks ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆15Sep 21, 2020Updated 5 years ago
- Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉☆29Updated this week
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆20May 21, 2026Updated last month
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago