Model-checking large network protocol implementations

Madanlal Musuvathi and Dawson R. Engler

Details

Publication typeProceedings
Published inin NSDI 2004: First symposium on Networked Systems Design and Implementation
PublisherUSENIX
> Publications > Model-checking large network protocol implementations