[PPT] - Formal verification of floating-point arithmetic at Intel John PowerPoint Presentation