Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF.
Russell J. HainesGary ClemoAlistair MunroPublished in: VTC Fall (2006)
Keyphrases
- formal verification
- model checking
- petri net model
- petri net
- service composition
- temporal logic
- model checker
- production process
- automated verification
- cryptographic protocols
- bounded model checking
- symbolic model checking
- web services
- medium access
- formal methods
- manufacturing systems
- formal specification
- classification method
- program slicing
- data transmission
- linear temporal logic