Login / Signup
Correct approximation of IEEE 754 floating-point arithmetic for program verification.
Roberto Bagnara
Abramo Bagnara
Fabio Biselli
Michele Chiari
Roberta Gori
Published in:
Constraints An Int. J. (2022)
Keyphrases
</>
floating point arithmetic
floating point
instruction set
fixed point
image segmentation
state space
computer systems
search space
general purpose
data processing