This content will become publicly available on July 12, 2025
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
- Award ID(s):
- 2318953
- PAR ID:
- 10530604
- Publisher / Repository:
- Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)
- Date Published:
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found