A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
From MaRDI portal
Publication:3457779
DOI10.1007/978-3-319-11936-6_5zbMath1448.68051arXiv1505.05646OpenAlexW1504928881MaRDI QIDQ3457779
Peter Höfner, Timothy Bourke, Robert J. van Glabbeek
Publication date: 17 December 2015
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1505.05646
Network protocols (68M12) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (4)
Model checking mobile ad hoc networks ⋮ Mechanizing a process algebra for network protocols ⋮ Modelling and verifying the AODV routing protocol ⋮ AODV
Uses Software
This page was built for publication: A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
