Push-Button Verification of File Systems via Crash Refinement

TitlePush-Button Verification of File Systems via Crash Refinement
Publication TypeConference Paper
Year of Publication2017
AuthorsSigurbjarnarson H, Bornholt J, Christin N, Cranor LFaith
Conference Name2017 {USENIX} Annual Technical Conference ({USENIX} {ATC} 17)
Date Published07/2017
Publisher{USENIX} Association
Conference LocationSanta Clara, CA
URLhttps://www.usenix.org/conference/atc17/technical-sessions/presentation/sigurbjarnarson