M. Musuvathi and D. Engler. Model checking large network protocol implementations. In Proc.NSDI: 1st Symposium on Networked Systems Design and Implementation, pages 155--168, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) Self-citation (Engler) (Correct)
No context found.
M. Musuvathi and D. R. Engler. Model checking large network protocol implementations. In Proceedings of the First Symposium on Networked Systems Design and Implementation, 2004.
Engineering with Logic: HOL Specification and - Symbolic-Evaluation Testing For (Correct)
No context found.
M. Musuvathi and D. Engler. Model checking large network protocol implementations. In Proc.NSDI: 1st Symposium on Networked Systems Design and Implementation, pages 155--168, 2004.
Rigorous Specification and Conformance Testing - Techniques For Network (Correct)
No context found.
M. Musuvathi and D. Engler. Model checking large network protocol implementations. In Proc.NSDI: 1st Symposium on Networked Systems Design and Implementation, pages 155--168, 2004.
Model Checking An Entire Linux Distribution for Security.. - Benjamin Schwarz Hao (Correct)
No context found.
D. Engler and M. Musuvathi. Model-checking large network protocol implementations. In Proceedings of the First Symposium on Networked Systems Design and Implementation, 2004.
Model Checking An Entire Linux Distribution for Security.. - Benjamin Schwarz Hao (Correct)
No context found.
D. Engler and M. Musuvathi. Model-checking large network protocol implementations. In Proceedings of the First Symposium on Networked Systems Design and Implementation, 2004.
Compositional Analysis of Mobile Network Protocols - Wu, Zhang (2005) (Correct)
No context found.
Musuvathi, M. and D. Engler, Model checking large network protocol implementations, in: The First Symposium on Networked Systems Design and Implementation, USENIX Association, 2004, pp. 155--168.
Faithfulness in Internet Algorithms - Shneidman, Parkes, Massoulie (2004) (2 citations) (Correct)
No context found.
Dawson Engler and Madanlal Musuvathi. Model-checking large network protocol implementations. In To appear in NSDI 2004.
A Flexible Framework for the Estimation of.. - Rodríguez, .. (2004) (Correct)
No context found.
M. Musuvathi and D. R. Engler. Model checking large network protocol implementations. In Proceedings of The First Symposium on Networked Systems Design and Implementation, pages 155--168. USENIX Association, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC