Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler. Model checking system software with CMC. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 219-222, ACM, 2002. [doi]
Abstract is missing.