Exploring Approximations for Floating-Point Arithmetic using UppSAT

Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger +1

We consider the problem of solving floating-point constraints obtained from software verification. We present UppSAT --- a new implementation of a systematic approximation refineme…