Verifying concurrent, crash-safe systems with Perennial.

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

Browse the full SOSP paper archive.