Using Crash Hoare Logic for Certifying the FSCQ File System

TitleUsing Crash Hoare Logic for Certifying the {FSCQ} File System
Publication TypeConference Paper
Year of Publication2016
AuthorsChen H, Ziegler D, Chajed T, Chlipala A, M. Kaashoek F, Zeldovich N
Conference Name2016 {USENIX} Annual Technical Conference ({USENIX} {ATC} 16)
Date Published06/2016
Publisher{USENIX} Association
Conference LocationDenver, CO
URLhttps://www.usenix.org/conference/atc16/technical-sessions/presentation/chen_haogang