Login / Signup

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.

Timothy BourkeRob J. van GlabbeekPeter Höfner
Published in: ATVA (2014)
Keyphrases
  • aodv routing protocol
  • message overhead
  • ad hoc networks
  • petri net
  • mobile ad hoc networks
  • routing protocol
  • urban areas
  • cloud computing
  • end to end
  • network topology