AODV

swMATH29232MaRDI QIDQ40946FDOQ40946

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/AODV.html

Described by source

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

Cited In (9)

• Mechanizing a process algebra for network protocols
• Modelling and verifying the AODV routing protocol
• HOL/SPIN
• QualNet
• Isabelle/Circus
• ACTLW
• AWN
• wRebeca
• Model checking mobile ad hoc networks

This page was built for software: AODV