Metis: File System Model Checking via Versatile Input and State Exploration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'YiFei Liu' in GoogleThis author has not been identified. Look up 'Manish Adkar' in GoogleThis author has not been identified. Look up 'Gerard J. Holzmann' in GoogleThis author has not been identified. Look up 'Geoff Kuenning' in GoogleThis author has not been identified. Look up 'Pei Liu' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in GoogleThis author has not been identified. Look up 'Wei Su' in GoogleThis author has not been identified. Look up 'Erez Zadok' in Google

runs on WebDSL