Push-Button Verification of File Systems via Crash Refinement

Title{Push-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
PublisherUSENIX Association
Conference LocationSanta Clara, CA
URLhttps://www.usenix.org/conference/atc17/technical-sessions/presentation/sigurbjarnarson