Model Checking Large Network Protocol Implementations.

Madanlal Musuvathi, Dawson R. Engler

Browse the full NSDI paper archive.