Login / Signup
A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers.
Carlos Acosta
Martine Ceberio
Christian Servin
Published in:
Software Engineering Research and Practice (2008)
Keyphrases
</>
floating point
square root
fixed point
symbolic execution
instruction set
hardware designs
sparse matrices
model checking
floating point arithmetic
fast fourier transform
information systems
post processing