An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
No abstract available.
Related papers
- Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization SAS 2015
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020
- Polynomial Invariant Generation for Floating-Point Programs CAV 2026
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011
- Goal-directed weakening of abstract interpretation results TOPLAS 2007
- Quantum abstract interpretation PLDI 2021
- Polynomial reachability witnesses via Stellensätze PLDI 2021