@inproceedings {270449,
	author = {Madanlal Musuvathi and David Y.W. Park and Andy Chou and Dawson R. Engler and David L. Dill},
	title = {{CMC}: A Pragmatic Approach to Model Checking Real Code},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/cmc-pragmatic-approach-model-checking-real-code},
	publisher = {USENIX Association},
	month = dec
}
