skip to main content


This content will become publicly available on July 12, 2025

Title: Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
Award ID(s):
2318953
PAR ID:
10530604
Author(s) / Creator(s):
; ; ; ;
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