Searching for "Floating-Point Verification Using Theorem Proving." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Floating-point verification using theorem proving
by John Harrison — 2006 — 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
…Floating-Point Verification using Theorem Proving John Harrison Intel Corporation, JF1-13 2111 NE…
Cited by 2 (1 self) – Add To MetaCart

Floating-Point Verification using Theorem Proving
by unknown authors
… Floating-Point Verification using Theorem Proving John Harrison Intel Corporation, JF1-13 2111…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB