Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic

DOI10.1007/978-3-540-74061-2_9zbMath1211.68088OpenAlexW1578116513MaRDI QIDQ3611999

Eric Goubault, Sylvie Putot

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation ⋮ A zonotopic framework for functional abstractions

This page was built for publication: Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic