Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
CMC: A Pragmatic Approach to Model Checking Real Code
OSDI, 2002.
@inproceedings{OSDI-2002-MusuvathiPCED,
author = "Madanlal Musuvathi and David Y. W. Park and Andy Chou and Dawson R. Engler and David L. Dill",
booktitle = "{Proceedings of the Fifth Symposium on Operating Systems Design and Implementation}",
doi = "10.1145/1060289.1060297",
ee = "http://www.usenix.org/events/osdi02/tech/musuvathi.html",
isbn = "978-1-4503-0111-4",
pages = "75--88",
publisher = "{USENIX Association}",
title = "{CMC: A Pragmatic Approach to Model Checking Real Code}",
year = 2002,
}
Tags: