4 ms·Formal verification of floating-point arithmetic at Intel (2006) [pdf]1 points by Chaebixi 9y ago