Integrating Policy Iterations in Abstract Interpreters

DOI10.1007/978-3-319-02444-8_18zbMath1410.68078OpenAlexW103072036MaRDI QIDQ5166691

Pierre-Loïc Garoche, Pierre Roux

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_18

zbMATH Keywords

semidefinite programmingellipsoidspolicy iterationabstract interpretationquadratic invariantslinear systems with guards

Mathematics Subject Classification ID

Semidefinite programming (90C22) Theory of compilers and interpreters (68N20)

Related Items (3)

Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case ⋮ Counterexample- and simulation-guided floating-point loop invariant synthesis ⋮ Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs

Uses Software

• Octagon

This page was built for publication: Integrating Policy Iterations in Abstract Interpreters