Wei Su, YiFei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning. Model-Checking Support for File System Development. In Philip Shilane, Youjip Won, editors, HotStorage '21: 13th ACM Workshop on Hot Topics in Storage and File Systems, Virtual Event, USA, July 27-28, 2021. pages 103-110, ACM / USENIX Association, 2021. [doi]
Abstract is missing.