Formal Analysis and Verification of an OFDM Modem Design using HOL.

Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofine Tahar

Browse the full FMCAD paper archive.