Model checking large network protocol implementations. (2004)

by M Musuvathi, D Engler
Venue:In Proceedings of NSDI’2004,