Formal verification of floating-point arithmetic at Intel (2006) [pdf]cl.cam.ac.uk1 pointChaebixi9 years ago