Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving.
Abu Nasser Mohammed AbdullahBehzad AkbarpourSofiène TaharPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- theorem proving
- error analysis
- first order logic
- least squares
- decision procedures
- wireless systems
- cross ratio
- automated reasoning
- automated deduction
- theorem prover
- proof planning
- parallel search
- consequence finding
- automatic programming
- inference rules
- model checking
- error correction
- logical inference
- automated theorem proving
- proof search
- proof procedure
- communication systems
- term rewriting
- geometry theorem proving
- distributed search
- predicate calculus
- multipath
- combinatorial search
- computer vision
- error estimates
- machine learning
- equational theories
- ultra wide band