Formal Verification of a New Version of AOMDV in ad hoc Network.
Djellouli Ahmed AmineMustapha Kamel AbdiKechar BouabdellahPublished in: EUSPN/ICTH (2014)
Keyphrases
- formal verification
- routing protocol
- ad hoc networks
- model checking
- network topology
- routing algorithm
- wireless sensor networks
- wireless ad hoc networks
- mobile ad hoc networks
- bounded model checking
- data transmission
- energy consumption
- model checker
- sensor networks
- automated verification
- symbolic model checking
- multi hop
- base station
- network nodes
- end to end
- energy efficient
- wireless networks
- mobile wireless
- aodv routing protocol
- quality of service
- energy efficiency
- mobile nodes
- network infrastructure
- mac protocol
- key management
- service differentiation
- neighboring nodes
- wireless mesh networks
- peer to peer
- response time
- end to end delay
- multipath routing
- routing scheme
- digital libraries
- packet delivery
- mobile networks
- routing overhead
- biological inspired
- secure routing