Grove: a Separation-Logic Library for Verifying Distributed Systems

Sharma, Upamanyu; Jung, Ralf; Tassarotti, Joseph; Kaashoek, Frans; Zeldovich, Nickolai

Grove: a Separation-Logic Library for Verifying Distributed Systems

Download

Name

3600006.3613172.pdf

Size

675.48 KB

Format

Adobe PDF

Checksum (MD5)

5d80c6229922d810fd57d75c0fa86793

Download all files submitted through automated deposit

3600006.3613172.zip (652.3 KB)

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

https://creativecommons.org/licenses/by/4.0/

Persistent DSpace Link

https://hdl.handle.net/1721.1/152987

DOI of Published Version

https://doi.org/10.1145/3600006.3613172