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

DOI10.1007/978-3-540-74061-2_9MaRDI QIDQ3611999zbMATH OpenOpenAlexFDO

Authors Éric 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)

Recommendations

• Static Analysis of Numerical Algorithms
• Affine arithmetic and applications to real-number proving
• Static analysis of finite precision computations
• scientific article; zbMATH DE number 1738295
• Polynomial approximations of the relational semantics of imperative programs

Cited in

(4)

• Donut domains: efficient non-convex domains for abstract interpretation
• Static Analysis of Numerical Algorithms
• A zonotopic framework for functional abstractions
• Limits and difficulties in the design of under-approximation abstract domains

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3611999)