Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
No abstract available.
Related papers
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020
- Max-Policy Iteration, Revisited ESOP 2026
- Program Analysis with Local Policy Iteration VMCAI 2016
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs CAV 2005
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- A Change-Based Heuristic for Static Analysis with Policy Iteration SAS 2019
- Static Analysis by Policy Iteration on Relational Domains ESOP 2007