Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning.

Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full OSDI paper archive.