[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
pitfalls of verifying floating-point computations
- To: stds-754@xxxxxxxx
- Subject: pitfalls of verifying floating-point computations
- From: David Hough 754R work <754r@xxxxxxxxxxx>
- Date: Fri, 6 Jul 2007 15:31:41 -0700 (PDT)
I am indebted to my Sun colleague Rupert Brauch for pointing out
the following paper by David Monniaux which explores implications of
unpredictable floating point semantics for formal verification schemes:
http://hal.archives-ouvertes.fr/docs/00/15/88/63/PDF/floating-point.pdf