YiFei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok. Metis: File System Model Checking via Versatile Input and State Exploration. In Xiaosong Ma, Youjip Won, editors, 22nd USENIX Conference on File and Storage Technologies, FAST 2024, Santa Clara, CA, USA, February 27-29, 2024. pages 123-140, USENIX Association, 2024. [doi]
@inproceedings{LiuAHKLSSZ24,
title = {Metis: File System Model Checking via Versatile Input and State Exploration},
author = {YiFei Liu and Manish Adkar and Gerard J. Holzmann and Geoff Kuenning and Pei Liu and Scott A. Smolka and Wei Su and Erez Zadok},
year = {2024},
url = {https://www.usenix.org/conference/fast24/presentation/liu-yifei},
researchr = {https://researchr.org/publication/LiuAHKLSSZ24},
cites = {0},
citedby = {0},
pages = {123-140},
booktitle = {22nd USENIX Conference on File and Storage Technologies, FAST 2024, Santa Clara, CA, USA, February 27-29, 2024},
editor = {Xiaosong Ma and Youjip Won},
publisher = {USENIX Association},
}