Formal Analysis and Verification of an OFDM Modem Design using HOL. - Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar (FMCAD, 2006)

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. - Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar (FMWS@CONCUR, 2008)