Formal Verification of a Multicast Protocol In Mobile Networks.
Mohammad Reza Matash BorujerdiS. M. MirzababaeiPublished in: International Conference on Computational Intelligence (2004)
Keyphrases
- formal verification
- mobile networks
- model checker
- wireless networks
- blocking probability
- mobile nodes
- model checking
- multicast routing protocol
- end to end delay
- mobile ipv
- mobile ad hoc networks
- base station
- ip networks
- ad hoc networks
- mobile users
- application layer
- mobile devices
- data dissemination
- location management
- network layer
- multi hop
- mobility management
- routing algorithm
- multimedia content
- end to end
- cellular networks
- wireless mesh networks
- routing problem
- mobile computing
- mobile ip
- temporal logic
- routing protocol
- sensor networks