Cmc: A pragmatic approach to model checking real code (2002)

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:194 - 12 self