YoVDO

Proofing the Correctness of CURP Consensus Protocol Using TLA+

Offered By: CNCF [Cloud Native Computing Foundation] via YouTube

Tags

Formal Verification Courses Distributed Systems Courses Consensus Algorithms Courses Cloud-Native Applications Courses TLA+ Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

Introduction
Background
Concept
Actions
Conclusion


Taught by

CNCF [Cloud Native Computing Foundation]

Related Courses

Building Confidence in Concurrent Code with a Model Checker
NDC Conferences via YouTube Chat with Hillel Wayne about TLA+
Strange Loop Conference via YouTube Turning an Incident Report into a Design Issue with TLA+
USENIX via YouTube Weeks of Debugging Can Save You Hours of TLA+
USENIX via YouTube Designing Distributed Systems with TLA+
GOTO Conferences via YouTube