A Methodology for the Formal Verification of FFT Algorithms in HOL.

Behzad Akbarpour Sofiène Tahar

Published in: FMCAD (2004)

Keyphrases

formal verification
computational complexity
significant improvement
computational cost
worst case
optimization problems
theoretical analysis
model checking
learning algorithm
computationally efficient
theorem proving
fast fourier transform
model checker