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 In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation