Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor

Browse the full USENIX paper archive.