Grove: a Separation-Logic Library for Verifying Distributed Systems

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

Author(s)

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

Download3600006.3613172.pdf (675.4Kb)

Publisher with Creative Commons License

Terms of use

Creative Commons Attribution https://creativecommons.org/licenses/by/4.0/

Metadata

Show full item record

Date issued

2023-10-23

URI

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

Department

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory

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

ISBN

979-8-4007-0229-7

Collections

MIT Open Access Articles

The following license files are associated with this item:

Creative Commons