Floating-Point Verification.

Published in: J. Univers. Comput. Sci. (2007)

Keyphrases

floating point
fixed point
square root
model checking
instruction set
interval arithmetic
sparse matrices
pairwise
fast fourier transform
image segmentation
state space
formal methods