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

Abu Nasser Mohammed Abdullah Behzad Akbarpour Sofiène Tahar

Published in: FMCAD (2006)

Keyphrases

formal analysis
formal methods
knowledge based systems
model checking
user interface
design process
case study
software architecture
theorem proving
agent model
functional verification
software engineering
theorem prover