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

by M Musuvathi, D Y Park, A Chou, D R Engler, D L Dill
Venue:In Proceedings of the 5th Symposium on Operating Systems Design and Implementation