Model-checking large network protocol implementations

Madanlal Musuvathi and Dawson R. Engler
2004

In in NSDI 2004: First symposium on Networked Systems Design and Implementation

Publisher USENIX
All copyrights reserved by USENIX 2007