Formal analysis and verification of an OFDM modem design

Formal analysis and verification of an OFDM modem design

this thesis we formally specify and verify an implementation of the Orthogonal Frequency Division Multiplexing (OFDM) Physical Layer using theorem proving techniques based on the HOL (Higher Order Logic) system. The thesis is meant to follow a framework, developed at Concordia University, incorporat...

Full description

Bibliographic Details
Main Author: Abdullah, Abu Nasser Mohammed
Format: Others
Published: 2006
Online Access:http://spectrum.library.concordia.ca/8721/1/MR14272.pdf
Abdullah, Abu Nasser Mohammed <http://spectrum.library.concordia.ca/view/creators/Abdullah=3AAbu_Nasser_Mohammed=3A=3A.html> (2006) Formal analysis and verification of an OFDM modem design. Masters thesis, Concordia University.

Internet

http://spectrum.library.concordia.ca/8721/1/MR14272.pdf
Abdullah, Abu Nasser Mohammed <http://spectrum.library.concordia.ca/view/creators/Abdullah=3AAbu_Nasser_Mohammed=3A=3A.html> (2006) Formal analysis and verification of an OFDM modem design. Masters thesis, Concordia University.

Similar Items