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☆26Dec 18, 2022Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆52Oct 11, 2026Updated 2 weeks 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 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Apron Numerical Abstract Domain Library☆148Oct 22, 2026Updated last week
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- differential☆12Oct 30, 2019Updated 7 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆31Aug 4, 2026Updated 2 months ago
- ☆20Jul 15, 2026Updated 3 months ago
- ☆23Apr 17, 2023Updated 3 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 5 years ago
- ☆18Dec 11, 2025Updated 10 months ago
- ELINA: ETH LIbrary for Numerical Analysis☆137Apr 7, 2023Updated 3 years ago
- ☆30Jul 14, 2026Updated 3 months ago
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 10 months ago
- Denotational semantics based on graph and filter models☆25Updated this week
- Measure branching along code paths☆18Oct 25, 2016Updated 10 years 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.
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆290Sep 12, 2026Updated last month
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- Lyra is a prototype static analyzer for data science applications written in Python.☆31Aug 18, 2025Updated last year
- SeaHorn Verification Framework☆479Aug 20, 2026Updated 2 months ago
- Program Round-off Error Certifier via Static Analysis☆60Sep 24, 2026Updated last month
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆128Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Ciao Preprocessor☆13Jun 17, 2025Updated last year
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆88Updated this week
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Oct 15, 2026Updated 2 weeks ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago