This paper overviews the application of formal verification techniques to hardware in general, and to floating-point hardware in particular. A specific challenge is to connect the usual mathematical view of continuous arithmetic operations with the discrete world, in a credible and verifiable way. © J.UCS.
CITATION STYLE
Harrison, J. (2007). Floating-point verification. Journal of Universal Computer Science. https://doi.org/10.1007/978-1-4471-1591-5_7
Mendeley helps you to discover research relevant for your work.