@TECHREPORT{yifei24prelim,
  AUTHOR =       "Yifei Liu",
  TITLE =        "Towards Efficient, Scalable, and Versatile File System Model Checking",
  INSTITUTION =  "Computer Science Department, Stony Brook University",
  YEAR =         "2024",
  MONTH =        "November",
  NUMBER =       "FSL-24-04",
}