| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Filtering by ULP Maximum
Abstract : Constraint solving over floating-point numbers is an emerging topic that found interesting applications in software analysis and testing. Even for IEEE-754 compliant programs, correct reasoning over floating-point computations is challenging and requires dedicated constraint solving approaches to be developed. Recent advances indicate that numerical properties of floating-point numbers can be used to efficiently prune the search space. In this paper, we reformulate the Marre and Michel property over floating-point addition/subtraction constraint to ease its implementation in real-world floating-point constraint solvers. We also generalize the property to the case of multiplication/division in order to benefit from its improvements in more cases.
Cited literature [18 references]
https://hal.inria.fr/hal-00699565
Contributor : Arnaud Gotlieb <>
Submitted on : Monday, May 21, 2012 - 11:31:38 AM
Last modification on : Tuesday, June 15, 2021 - 4:13:48 PM
Long-term archiving on: : Wednesday, August 22, 2012 - 2:25:33 AM
Contributor : Arnaud Gotlieb <>
Submitted on : Monday, May 21, 2012 - 11:31:38 AM
Last modification on : Tuesday, June 15, 2021 - 4:13:48 PM
Long-term archiving on: : Wednesday, August 22, 2012 - 2:25:33 AM
File
CG_ICTAI.pdf
Files produced by the author(s)