Formal verification of standards for distance vector routing protocols.
Karthikeyan BhargavanDavor ObradovicCarl A. GunterPublished in: J. ACM (2002)
Keyphrases
- formal verification
- routing protocol
- ad hoc networks
- model checking
- network topology
- mobile ad hoc networks
- routing algorithm
- wireless sensor networks
- energy aware
- energy consumption
- multi hop
- wireless ad hoc networks
- bounded model checking
- data delivery
- model checker
- data transmission
- sensor networks
- automated verification
- symbolic model checking
- biological inspired
- energy efficiency
- cross layer
- energy efficient
- routing scheme
- end to end delay
- neighboring nodes
- communication links
- end to end
- wireless mesh networks
- secure routing
- packet delivery
- intermediate nodes
- multi path routing
- computer simulation
- web services
- mobile nodes