2 ms·Correct Approximation of IEEE 754 Floating-Point Arithmetic Program Verification1 points by lainon 8y ago