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]
Abstract is missing.