Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.
Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv
VenueCARITH
Year2005
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/AharoniAMNNZ05 ↗
Browse the full ARITH paper archive.