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

Behzad Akbarpour, Sofine Tahar

Browse the full FMCAD paper archive.