@inproceedings {204150, author = {Helgi Sigurbjarnarson and James Bornholt and Nicolas Christin and Lorrie Faith Cranor}, title = {{Push-Button} Verification of File Systems via Crash Refinement}, booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)}, year = {2017}, address = {Santa Clara, CA}, url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/sigurbjarnarson}, publisher = {USENIX Association}, month = jul }