Numerical Invariants via Abstract Machines
Abstract elided by the publisher.
Related papers
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization SAS 2015
- Statically Inferring Complex Heap, Array, and Numeric Invariants SAS 2010
- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants SAS 2016
- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs ESOP 2016
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis ESOP 2010
- A Few Graph-Based Relational Numerical Abstract Domains SAS 2002