Model Checking Large Network Protocol Implementations

@inproceedings{Musuvathi2004ModelCL,
  title={Model Checking Large Network Protocol Implementations},
  author={Madan Musuvathi and Dawson R. Engler},
  booktitle={NSDI},
  year={2004}
}
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network protocols are difficult to test due to the exponential size of the state space they define. Ideally, a protocol implementation must be validated against all possible events (packet arrivals, packet losses, timeouts, etc.) in all possible protocol states. Conventional means of testing can explore only… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 195 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

195 Citations

01020'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 195 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…