Advancing File System Model Checking: Coverage, Framework, and Scalability - Liu, Yifei (ProQuest Dissertations and Theses, 2025)