Push-Button Verification of File Systems via Crash Refinement

Article Details
Title:	Push-Button Verification of File Systems via Crash Refinement
Article URLs:	https://www.usenix.org/conference/osdi16/technical-sessions/presentation/sigurbjarnarson http://dl.acm.org/citation.cfm?id=3026879
Alternative Article URLs:
Authors:	Helgi Sigurbjarnarson	University of Washington
	James Bornholt	University of Washington
	Emina Torlak	University of Washington
	Xi Wang	University of Washington
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/osdi/Sigurbjarnarson16
Author Comments:

USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016