Model checking large network protocol implementations (0)

by M Musuvathi, D R Engler
Venue:In Proc. of NSDI’04