@inproceedings {294789,
	author = {Yifei Liu and Manish Adkar and Gerard Holzmann and Geoff Kuenning and Pei Liu and Scott A. Smolka and Wei Su and Erez Zadok},
	title = {Metis: File System Model Checking via Versatile Input and State Exploration},
	booktitle = {22nd USENIX Conference on File and Storage Technologies (FAST 24)},
	year = {2024},
	isbn = {978-1-939133-38-0},
	address = {Santa Clara, CA},
	pages = {123--140},
	url = {https://www.usenix.org/conference/fast24/presentation/liu-yifei},
	publisher = {USENIX Association},
	month = feb
}
