Automated Analysis of AODV Using UPPAAL.
Ansgar FehnkerRob J. van GlabbeekPeter HöfnerAnnabelle McIverMarius PortmannWee Lum TanPublished in: TACAS (2012)
Keyphrases
- automated analysis
- ad hoc networks
- routing protocol
- model checking
- automated detection
- wireless ad hoc networks
- biomedical imaging
- visual analysis
- timed automata
- controller synthesis
- routing algorithm
- mobile ad hoc networks
- end to end
- sensor networks
- motion imagery
- video analysis
- end to end delay
- wireless sensor networks