Floating-Point Verification.

Published in: FM (2005)

Keyphrases

floating point
square root
fixed point
model checking
sparse matrices
instruction set
floating point arithmetic
interval arithmetic
artificial intelligence
fast fourier transform