Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang

Browse the full OSDI paper archive.