Grove: a Separation-Logic Library for Verifying Distributed Systems
Name
3600006.3613172.pdf
Size
675.48 KB
Format
Adobe PDF
Checksum (MD5)
5d80c6229922d810fd57d75c0fa86793
Author(s)
Sharma, Upamanyu
Jung, Ralf
Tassarotti, Joseph
Kaashoek, Frans
Zeldovich, Nickolai
Date Issued
October 23, 2023
Publisher
ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles
Citation
Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, Frans and Zeldovich, Nickolai. 2023. "Grove: a Separation-Logic Library for Verifying Distributed Systems."
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3600006.3613172
