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

Cloud Computing Concepts, Part 1
University of Illinois at Urbana-Champaign via Coursera Blockchain and Cryptocurrency Explained
University of Michigan via Coursera Mastering Web3 with Waves
E-Learning Development Fund via Coursera Blockchain Scalability and its Foundations in Distributed Systems
The University of Sydney via Coursera Learn Blockchain By Building Your Own In JavaScript
Udemy