Statistical Model Checking of Wireless Mesh Routing Protocols.
Peter HöfnerAnnabelle McIverPublished in: NASA Formal Methods (2013)
Keyphrases
- model checking
- routing protocol
- mobile ad hoc networks
- multi hop
- ad hoc networks
- cross layer
- mobile nodes
- temporal logic
- wireless sensor networks
- network topology
- routing algorithm
- wireless mesh networks
- model checker
- formal verification
- network infrastructure
- wireless networks
- formal specification
- wireless communication
- automated verification
- temporal properties
- wireless ad hoc networks
- energy consumption
- computation tree logic
- packet delivery
- timed automata
- symbolic model checking
- mobile networks
- sensor networks
- epistemic logic
- verification method
- cellular networks
- medium access control
- end to end delay
- aodv routing protocol
- data transmission
- formal methods
- multipath
- mac protocol
- energy efficiency
- mac layer
- wifi
- transition systems
- real time
- bounded model checking
- network simulator
- sensor nodes
- cooperative
- end to end
- base station