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:18 - 4 self

Documents Related by Co-Citation

31 A Machine-Checked Theory of Floating Point Arithmetic – John Harrison - 1999
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
726 The B-Book: Assigning programs to meanings – R ABRIAL - 1996
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
1105 The Z Notation: a reference manual – J M Spivey - 1992
854 An Introduction to The Theory of Numbers – G H Hardy, E M Wright - 1999
521 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
566 Assigning meaning to programs – R W Floyd
795 The design and synthesis of synchronization skeletons using temporal logic – E M Clarke, E A Emerson - 1981