AODV

MaRDI QIDQ40946swMATHFDO

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
• HOL/SPIN
• QualNet
• Isabelle/Circus
• ACTLW
• AWN
• wRebeca
• Modelling and verifying the AODV routing protocol
• Model checking mobile ad hoc networks

This page was built for software: AODV