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