Formal verification of IA-64 division algorithms (2000)

Cached

Download Links

by John Harrison
Venue:Proceedings, Theorem Proving in Higher Order Logics (TPHOLs), LNCS 1869
Citations:20 - 4 self

Active Bibliography

31 A Machine-Checked Theory of Floating Point Arithmetic – John Harrison - 1999
4 Floating-point verification – John Harrison - 1995
10 Formal verification of square root algorithms – John Harrison - 2003
25 Formal Verification of Floating Point Trigonometric Functions – John Harrison - 2000
A machine-checked theory of floating point – John Harrison
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
209 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
24 A proof-producing decision procedure for real arithmetic – Sean Mclaughlin, John Harrison - 2005