A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks.
Zhe ChenDaqiang ZhangRongbo ZhuYinxue MaPing YinFeng XiePublished in: CoRR (2013)
Keyphrases
- formal verification
- routing protocol
- wireless sensor networks
- model checking
- ad hoc networks
- energy consumption
- routing algorithm
- sensor networks
- energy aware
- energy efficient
- multi hop
- network topology
- sensor nodes
- energy efficiency
- data delivery
- biological inspired
- mobile ad hoc networks
- data transmission
- routing scheme
- data aggregation
- base station
- cross layer
- network lifetime
- end to end delay
- mobile nodes
- data dissemination
- wireless ad hoc networks
- packet delivery
- routing overhead
- key management
- intermediate nodes
- residual energy
- wireless mesh networks
- wireless communication
- multipath routing
- communication links
- hop count
- data center