Model Checking Large Network Protocol Implementations
This paper focuses on how to effectively find errors in large network protocol implementations using model checking, a formal verification technique.
Model checking involves a systematic exploration of the possible states of a system, and is well-suited to finding intricate errors lurking deep in exponential state spaces.
Its primary limitation has been the effort needed to use it on software.
The primary contribution of this...
preview:
http://www.stanford.edu/~engler/nsdi04.pdf
5/11/2007
