A mechanized proof of loop freedom of the (untimed) AODV routing protocol.

Timothy Bourke Rob J. van Glabbeek Peter Höfner

Published in: CoRR (2015)

Keyphrases

aodv routing protocol
message overhead
ad hoc networks
petri net
routing protocol
mobile ad hoc networks
wireless sensor networks
computer simulation
image analysis
intrusion detection
routing algorithm