Static Analysis-Based Validation of Floating-Point Computations.

Sylvie Putot Eric Goubault Matthieu Martel

Published in: Numerical Software with Result Verification (2003)

Keyphrases

floating point
static analysis
dynamic analysis
source code
fixed point
symbolic execution
java card
floating point arithmetic
instruction set
regular expressions
sparse matrices
interval arithmetic
abstract interpretation
floating point unit
test suite
pairwise
high level
matrix multiplication
real world
database