NSan: A Floating-Point Numerical Sanitizer.

Clement Courbet

Published in: CoRR (2021)

Keyphrases

floating point
interval arithmetic
square root
fixed point
instruction set
floating point arithmetic
sparse matrices
data processing
sufficient conditions
sensitivity analysis