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 4 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:
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆21Dec 18, 2022Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- Apron Numerical Abstract Domain Library☆144Feb 13, 2026Updated last month
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- ☆22Apr 17, 2023Updated 2 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆44Oct 31, 2025Updated 5 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated 2 months ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 3 weeks ago
- ☆20May 30, 2024Updated last year
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆137Apr 7, 2023Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- ☆31Aug 18, 2025Updated 7 months ago
- Program Round-off Error Certifier via Static Analysis☆56Dec 8, 2025Updated 4 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆80Apr 1, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆117Mar 31, 2026Updated last week
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 4 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Mar 19, 2026Updated 3 weeks ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- DOrder -- Automatically Learning Shape Specifications☆20Jun 19, 2017Updated 8 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated 9 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 2 years ago
- 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