CMC: A Pragmatic Approach to Model Checking Real Code (2002)

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