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:
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆24Dec 18, 2022Updated 3 years ago
- Libra is a static analyzer for certifying fairness of feed-forward neural network classifiers of tabular data.☆24Oct 31, 2021Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- Apron Numerical Abstract Domain Library☆148Feb 13, 2026Updated 5 months ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆23Apr 17, 2023Updated 3 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆49Jul 19, 2026Updated 3 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretation☆31Updated this week
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 4 months ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆20Jul 15, 2026Updated 3 weeks ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated 11 months ago
- ☆15Dec 11, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆31Jul 14, 2026Updated 3 weeks ago
- ELINA: ETH LIbrary for Numerical Analysis☆136Apr 7, 2023Updated 3 years ago
- Program Round-off Error Certifier via Static Analysis☆60Dec 8, 2025Updated 8 months ago
- Denotational semantics based on graph and filter models☆22Dec 16, 2024Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆83Updated this week
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆126Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 2 months ago
- Static Analyzer for LLVM based on Abstract Interpretation.☆286Updated this week
- 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 last month
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated last year
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉☆31Updated this week
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆20May 21, 2026Updated 2 months ago
- 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
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆37Jun 18, 2026Updated last month
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago