Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks.
Daniel CâmaraAntonio Alfredo Ferreira LoureiroFethi FilaliPublished in: GLOBECOM (2007)
Keyphrases
- formal verification
- routing protocol
- ad hoc networks
- model checking
- mobile ad hoc networks
- network topology
- routing algorithm
- wireless sensor networks
- model checker
- energy aware
- energy consumption
- data transmission
- symbolic model checking
- bounded model checking
- multi hop
- sensor networks
- data delivery
- automated verification
- route selection
- energy efficiency
- energy efficient
- secure routing
- cross layer
- routing overhead
- biological inspired
- wireless ad hoc networks
- end to end
- sensor nodes
- computer simulation
- ns simulator
- cooperative
- temporal logic
- neighboring nodes
- routing scheme
- communication links
- mobile devices