@inproceedings {269480,
	author = {Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi},
	title = {Using Model Checking to Find Serious File System Errors},
	booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/osdi-04/using-model-checking-find-serious-file-system-errors},
	publisher = {USENIX Association},
	month = dec
}
