Login / Signup
Formal Verification of Floating Point Trigonometric Functions.
John Harrison
Published in:
FMCAD (2000)
Keyphrases
</>
floating point
formal verification
model checking
basis functions
square root
fixed point
automated verification
model checker
bounded model checking
instruction set
symbolic model checking
floating point arithmetic
program slicing
temporal logic
sparse matrices
fast fourier transform
state space