Formal Verification of Floating Point Trigonometric Functions

14 years 2 months ago

Download www.cl.cam.ac.uk

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

John Harrison

Real-time Traffic

Floating Point | Floating Point Arithmetic | FMCAD 2000 | Formal Methods | Intel® IA-64 Architecture |

claim paper

» Formal Verification of the VAMP Floating Point Unit

» Verifying a Synthesized Implementation of IEEE754 FloatingPoint Exponential Function using...

» A MachineChecked Theory of Floating Point Arithmetic

» Formal Verification of FloatingPoint Programs

» MultiProver Verification of FloatingPoint Programs

» Formal Verification of IA64 Division Algorithms

» Armadillo C matrix library

» Modeling and verification of industrial flash memories

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	FMCAD
Authors	John Harrison

Comments (0)

Sciweavers

Formal Verification of Floating Point Trigonometric Functions

Floating Point | Floating Point Arithmetic | FMCAD 2000 | Formal Methods | Intel® IA-64 Architecture |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers