@InProceedings{musuvathi:osdi:cmc,
  author = "Madanlal Musuvathi and David Park and Andy Chou and Dawson R. Engler and David L. Dill",
   year = "2002",
   month = dec,
   title = "{CMC: A Pragmatic Approach to Model Checking Real Code}",
   booktitle = "Proceedings of the Fifth Symposium on Operating Systems Design and Implementation"
}