Grove: a Separation-Logic Library for Verifying Distributed Systems.

Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full SOSP paper archive.