AODV

MaRDI QIDQ40946swMATHFDO

Authors Timothy Bourke, Peter Höfner

Publication date 23 October 2014

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

Cites work

• A mechanized proof of loop freedom of the (untimed) AODV routing protocol
• Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings
• Showing invariance compositionally for a process algebra for network protocols

Described by source

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

Cited in

(9)

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

This page was built for software: AODV