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

Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok

Browse the full FAST paper archive.