Cmc: A pragmatic approach to model checking real code (2002)
Cached
Download Links
by
Madanlal Musuvathi
,
David Y. W. Park
,
Andy Chou
,
Dawson R. Engler
,
David L. Dill
| Venue: | In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation |
| Citations: | 147 - 11 self |
BibTeX
@INPROCEEDINGS{Musuvathi02cmc:a,
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 = {In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Permission is granted for noncommercial reproduction of the work for educational or research purposes.
