Yifei Liu
Yifei Liu
Home
News
Publications
Projects
Awards
Miscellaneous
Contact
CV
Model-Checking Support for File System Development
Wei Su
,
Yifei Liu
,
Gomathi Ganesan
,
Gerard Holzmann
,
Scott Smolka
,
Erez Zadok
,
Geoff Kuenning
July 2021
Project
PDF
BibTeX
ACM
Venue
Slides
Video
Type
Conference paper
Publication
13th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage 2021), Virtual.
Cite
×