A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Solving Constraints over Floating-Point Numbers
[chapter]
2001
Lecture Notes in Computer Science
This paper introduces a new framework for tackling constraints over the floating-point numbers. An important application area where such solvers are required is program analysis (e.g., structural test case generation, correctness proof of numeric operations). Albeit the floating-point numbers are a finite subset of the real numbers, classical CSP techniques are ineffective due to the huge size of the domains. Relations that hold over the real numbers may not hold over the floating-point
doi:10.1007/3-540-45578-7_36
fatcat:pujdgh7jbnaltl57je6dhbxoem