Floating-point verification using theorem proving (2006)

Cached

Download Links

by John Harrison
Venue:Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, volume 3965 of Lecture Notes in Computer Science
Citations:7 - 1 self