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

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

Documents Related by Co-Citation

2243 Ad-hoc On-Demand Distance Vector Routing – Charles E. Perkins, Elizabeth M. Royer - 1997
509 Ad-hoc on demand distance vector (AODV) routing – C E Perkins, E M Royer - 1999
208 An analysis of BGP convergence properties – Timothy G. Griffin, Gordon Wilfong
1254 The model checker SPIN – Gerard J. Holzmann - 1997
59 Model Checking Large Network Protocol Implementations – Madanlal Musuvathi, Dawson R. Engler - 2004
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
133 Persistent route oscillations in inter-domain routing – Kannan Varadhan, Ramesh Govindan, Deborah Estrin - 1996
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
16 UNIX Network Programming Vol 1: Networking APIs – The Sockets Networking API, volume 1 of 3 – W Richard Stevens - 2004
19 The UDP Calculus: Rigorous Semantics for Real Networking – Andrei Serjantov, Peter Sewell, Keith Wansbrough - 2001
21 Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures – Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov - 2002
1788 Data Networks – D Bertsekas, R Gallager - 1992
1297 Symbolic Model Checking – K L McMillan - 1993
234 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
462 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
40 Java Model Checking – David Y.W. Park, Ulrich Stern, David Y. W, Park Ulrich, Stern Jens, Jens U. Skakkebk, David L. Dill - 2000
45 An Architecture for Stable, Analyzable Internet Routing – Ramesh Govindan, Cengiz Alaettinoglu, George Eddy, David Kessens, Satish Kumar, Wee-San Lee - 1999