@TECHREPORT{yifei22rpe,
  AUTHOR =       "Yifei Liu",
  TITLE =        "Model-Checking Support for File System Development",
  INSTITUTION =  "Computer Science Department, Stony Brook University",
  YEAR =         "2022",
  MONTH =        "January",
  NUMBER =       "FSL-22-01",
}