Experiences with formal specification of fault-tolerant file systems.

Roxana Geambasu, Andrew Birrell, John MacCormick

Browse the full DSN paper archive.