Login / Signup
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.
Mariano M. Moscato
Laura Titolo
Aaron Dutle
César A. Muñoz
Published in:
SAFECOMP (2017)
Keyphrases
</>
floating point
static analysis
dynamic analysis
fixed point
source code
square root
symbolic execution
instruction set
regular expressions
java card
abstract interpretation
test generation
test suite
artificial intelligence
floating point arithmetic
graphical models
interval arithmetic
sparse matrices