Floating-Point Verification Using Theorem Proving

@inproceedings{Harrison2006FloatingPointVU,
  title={Floating-Point Verification Using Theorem Proving},
  author={John Harrison},
  booktitle={SFM},
  year={2006}
}
This chapter describes our work on formal verification of floating-point algorithms using the HOL Light theorem prover. 
Highly Cited
This paper has 47 citations. REVIEW CITATIONS