Madanlal Musuvathi David Y. W. Park Andy Chou Dawson R. Engler David L. Dill CMC: A Pragmatic Approach to Model Checking Real Code. 2002 OSDI http://www.usenix.org/events/osdi02/tech/musuvathi.html db/conf/osdi/osdi2002.html#MusuvathiPCED02