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

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube