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:
CoRR (2019)
Keyphrases
</>
floating point arithmetic
floating point
instruction set
databases
data structure
bayesian networks
fixed point