Login / Signup
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.
Tony Nuda Zhang
Travis Hance
Manos Kapritsos
Tej Chajed
Bryan Parno
Published in:
OSDI (2024)
Keyphrases
</>
geometric invariants
projective geometry
lightweight
formal proof
distributed systems
distributed environment
group communication
machine learning
wide area network
knowledge representation
peer to peer
multi party
inductive learning
interprocess communication
hierarchical architecture
cooperative
multi agent