An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs

Abstract

Formal verification of programs involved with floating-point data type still remains a tough problem nowadays. One of the major problems faced in this area is how to reflect the rounding error caused by IEEE standard floating-point processing for verification. In this paper we present an approximation approach which basically converts all floating-point… (More)
DOI: 10.1109/rivf.2012.6169864

Topics

1 Figure or Table

Slides referencing similar topics