@inproceedings{sharmaGroveSeparationLogicLibrary2023,
 title = {Grove: A {{Separation-Logic Library}} for {{Verifying Distributed Systems}}},
 author = {Sharma, Upamanyu and Jung, Ralf and Tassarotti, Joseph and Kaashoek, Frans and Zeldovich, Nickolai},
 date = {2023-10-23},
 isbn = {9798400702297},
 doi = {10.1145/3600006.3613172},
 url = {https://dl.acm.org/doi/10.1145/3600006.3613172},
 urldate = {2024-01-08},
 booktitle = {Proceedings of the 29th {{Symposium}} on {{Operating Systems Principles}}},
 pages = {113--129},
 publisher = {ACM},
 langid = {english},
 eventtitle = {{{SOSP}} '23: 29th {{Symposium}} on {{Operating Systems Principles}}},
 location = {Koblenz Germany},
 shorttitle = {Grove}
}