Model Checking Large Network Protocol Implementations (2004)

by Madanlal Musuvathi, Dawson R. Engler
Venue:In Proceedings of the First Symposium on Networked Systems Design and Implementation