A Sound Floating-Point Polyhedra Abstract Domain.

Liqian Chen Antoine Miné Patrick Cousot A Sound Floating-Point Polyhedra Abstract Domain. 3-18 2008 APLAS http://dx.doi.org/10.1007/978-3-540-89330-1_2 conf/aplas/2008 db/conf/aplas/aplas2008.html#ChenMC08