CMC: A Pragmatic Approach to Model Checking Real Code

Title{CMC}: A Pragmatic Approach to Model Checking Real Code
Publication TypeConference Paper
Year of Publication2002
AuthorsMusuvathi M, Park DYW, Chou A, Engler DR, Dill DL
Conference Name5th Symposium on Operating Systems Design and Implementation (OSDI 02)
Date Published12/2002
PublisherUSENIX Association
Conference LocationBoston, MA
URLhttps://www.usenix.org/conference/osdi-02/cmc-pragmatic-approach-model-checking-real-code