Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor. Push-Button Verification of File Systems via Crash Refinement. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017, Santa Clara, CA, USA, July 12-14, 2017. USENIX Association, 2017. [doi]
Abstract is missing.