Using Model Checking to Find Serious File System Errors

TitleUsing Model Checking to Find Serious File System Errors
Publication TypeConference Paper
Year of Publication2004
AuthorsYang J, Twohey P, Engler D, Musuvathi M
Conference Name6th Symposium on Operating Systems Design & Implementation ({OSDI} 04)
Date Published12/2004
Publisher{USENIX} Association
Conference LocationSan Francisco, CA
URLhttps://www.usenix.org/conference/osdi-04/using-model-checking-find-serious-file-system-errors