Grove: a Separation-Logic Library for Verifying Distributed Systems
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles
2023
|
Online Access: | https://hdl.handle.net/1721.1/152987 |