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

by Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter