Login / Signup

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

Upamanyu SharmaRalf JungJoseph TassarottiM. Frans KaashoekNickolai Zeldovich
Published in: SOSP (2023)
Keyphrases