A. Simon. Relational Analysis of Floating-Point Arithmetic. Workshop on Numerical and Symbolic Abstract Domains, Paris, France, 2005.

We describe how to model floating-point arithmetic using integer polyhedra.

Download: PDF Reference: Bibtex