Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation

DOI10.1007/978-3-319-21690-4_24zbMath1381.68178arXiv1509.08700OpenAlexW2130096835MaRDI QIDQ1702927

Arnaud J. Venet, Mendes Oulamara

Publication date: 1 March 2018

Full work available at URL: https://arxiv.org/abs/1509.08700

zbMATH Keywords

semidefinite programmingellipsoidsstatic analysisconic extrapolation

Mathematics Subject Classification ID

Semidefinite programming (90C22) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Counterexample- and simulation-guided floating-point loop invariant synthesis ⋮ Validating numerical semidefinite programming solvers for polynomial invariants

This page was built for publication: Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation