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

Advanced Operating Systems
Georgia Institute of Technology via Udacity High Performance Computing
Georgia Institute of Technology via Udacity GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX CS125x: Advanced Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX