"Proving memory safety of floating-point computations by combining static ..."

Patrice Godefroid, Johannes Kinder (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics