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.