Metis: File System Model Checking via Versatile Input and State Exploration

Yifei Liu, Manish Adkar, Gerard Holzmann, Geoff Kuenning, Pei Liu, Scott Smolka, Wei Su, Erez Zadok
February 2024
Project PDF BibTeX USENIX Venue Slides Video Poster Code Feature on Chameleon Cloud
Type
Conference paper
Publication
22nd USENIX Conference on File and Storage Technologies (FAST 2024), Santa Clara, CA.