Explore the process of verifying the CURP consensus protocol's correctness using TLA+ in this 21-minute conference talk from the Cloud Native Computing Foundation (CNCF). Dive into the background, key concepts, and actions involved in proofing the protocol. Gain insights into the importance of formal verification in distributed systems and learn how TLA+ can be applied to ensure the reliability of consensus algorithms. Discover the practical implications of this approach for developing robust cloud-native applications and infrastructure.
Proofing the Correctness of CURP Consensus Protocol Using TLA+
CNCF [Cloud Native Computing Foundation] via YouTube
Overview
Syllabus
Introduction
Background
Concept
Actions
Conclusion
Taught by
CNCF [Cloud Native Computing Foundation]
Related Courses
-
Mastering Concurrent Algorithms with TLA+
-
Formal Verification of Distributed Validator Technology
-
Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022
-
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
-
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
-
Anvil: Verifying Liveness of Cluster Management Controllers
