Login / Signup
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions.
Roberto Bagnara
Michele Chiari
Roberta Gori
Abramo Bagnara
Published in:
ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
</>
floating point
fixed point
square root
sparse matrices
instruction set
symbolic execution
floating point arithmetic
hardware designs
model checking
interval arithmetic
low cost
data processing
fast fourier transform