Automated verification and refinement for physical-layer protocols.
Geoffrey M. BrownLee PikePublished in: Formal Aspects Comput. (2011)
Keyphrases
- physical layer
- automated verification
- communication protocol
- model checking
- automated reasoning
- formal verification
- wireless communication
- application layer
- resource utilization
- network layer
- communication systems
- multipath
- smart grid
- bit error rate
- channel coding
- multi hop
- graph theory
- distributed systems
- theorem prover
- wireless networks