Completed
OSDI '24 - Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline...
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Inductive Invariants for Streamlining Distributed Protocol Proofs
Automatically move to the next video in the Classroom when playback concludes