Yifei Liu
Yifei Liu
Home
News
Publications
Projects
Awards
Miscellaneous
Contact
CV
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.
Cite
×