A Mechanically Checked Proof of the Correctness of the Kernel of the AMD5K86 Floating-Point Division Algorithm (1996)

Cached

Download Links

by J Strother Moore , Tom Lynch , Matt Kaufmann
Venue:IEEE Transactions on Computers
Citations:30 - 11 self

Document Versions

A Mechanically Checked Proof of the Correctness of the Kernel of the AMD5K86 Floating-Point Division Algorithm –J Strother Moore, Tom Lynch, Matt Kaufmann — 1996 — IEEE Transactions on Computers