Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.
Geoffrey M. BrownLee PikePublished in: MEMOCODE (2007)
Keyphrases
- model checking
- physical layer
- temporal properties
- communication protocol
- linear temporal logic
- temporal logic
- formal specification
- formal verification
- model checker
- application layer
- automated verification
- wireless communication
- transition systems
- symbolic model checking
- formal methods
- computation tree logic
- network layer
- mac protocol
- bounded model checking
- communication systems
- verification method
- resource utilization
- epistemic logic
- alternating time temporal logic
- modal logic
- multi channel
- wireless sensor networks
- smart grid