Formal Verification of Standards for Distance Vector Routing Protocols (2000)

by Karthikeyan Bhargavan , Davor Obradovic , Carl A. Gunter
Citations:66 - 3 self

Documents Related by Co-Citation

2285 Ad-hoc On-Demand Distance Vector Routing – Charles E. Perkins, Elizabeth M. Royer - 1997
210 An analysis of BGP convergence properties – Timothy G. Griffin, Gordon Wilfong
60 Model Checking Large Network Protocol Implementations – Madanlal Musuvathi, Dawson R. Engler - 2004
516 Ad hoc on demand distance vector (AODV) routing – C Perkins, E Belding-Royer, S Das - 2002
18 Automatized Verification of Ad Hoc Routing Protocols – Oskar Wibling, Joachim Parrow, Arnold Pears - 2004
131 Persistent route oscillations in inter-domain routing – Kannan Varadhan, Ramesh Govindan, Deborah Estrin - 1996
727 ad hoc on-demand distance vector (aodv) routing – Samir R. Das - 2003
30 Routing Information Protocol – C HENDRICK - 1988
22 LUNAR - A Lightweight Underlay Network Ad-Hoc Routing Protocol and Implementation – Christian Tschudin, Richard Gold, Olof Rensfelt, Oskar Wibling - 2004
19 The UDP Calculus: Rigorous Semantics for Real Networking – Andrei Serjantov, Peter Sewell, Keith Wansbrough - 2001
16 UNIX Network Programming Vol 1: Networking APIs – The Sockets Networking API, volume 1 of 3 – W Richard Stevens - 2004
21 Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures – Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov - 2002
1794 Data Networks – D Bertsekas, R Gallager - 1992
1266 The model checker SPIN – Gerard J. Holzmann - 1997
374 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
7 Routing Primitives for Wireless Mesh Networks: Design, Analysis and Experiments – Stanislav Miskovic, Edward W. Knightly
11 Formal verification of ad-hoc routing protocols using SPIN model checker – R de Renesse, A Aghvami - 2004
37 Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2005
45 An Architecture for Stable, Analyzable Internet Routing – Ramesh Govindan, Cengiz Alaettinoglu, George Eddy, David Kessens, Satish Kumar, Wee-San Lee - 1999