Floating-point verification using theorem proving (2006)
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: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Harrison06floating-pointverification,
author = {John Harrison},
title = {Floating-point verification using theorem proving},
booktitle = {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},
year = {2006},
pages = {211--242},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This chapter describes our work on formal verification of floating-point algorithms using the HOL Light theorem prover. 1
