Login / Signup
Formal Verification of Programs Computing the Floating-Point Average.
Sylvie Boldo
Published in:
ICFEM (2015)
Keyphrases
</>
floating point
formal verification
program slicing
model checking
fixed point
model checker
square root
automated verification
bounded model checking
instruction set
sparse matrices
symbolic model checking
fast fourier transform
interval arithmetic
temporal logic
low cost
general purpose