Su, W., Liu, Y., Ganesan, G., Holzmann, G., Kuenning, G., Smolka, S. A., & Zadok, E. (2021). Model-Checking Support for File System Development. Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems. Presented at the. (Original work published 2021)
