Title | Model-Checking Support for File System Development |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E. |
Conference Name | Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems |
Date Published | 07/2021 |