A pragmatic approach to model checking real code (2002)

by CMC
Venue:In Proceedings of the 5th Symposium on Operating Systems Design and Implementation, OSDI ’02