Vinh D. Thai

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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)
  • 1