Formal Verification of Floating Point Trigonometric Functions

Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel

• Type: Conference
• Year: 2000
• Where: FMCAD
• Authors: John Harrison
• Keywords: Floating Point, Floating Point Arithmetic, FMCAD 2000, Formal Methods, Intel® IA-64 Architecture