CNCF On demand webinar: Proofing the Correctness of the CURP Consensus Protocol Using TLA+

CNCF Online Programs

May 4, 2023, 7:00 AM – May 5, 2023, 7:00 AM

Virtual event

About this event

The CURP Replication Protocol (NSDI '19) aims to eliminate the additional round trips between servers in replicated state machines. We extended CURP into a consensus protocol and used it in our open source project Xline. This webinar is about how we modeled the CURP consensus protocol in TLA+ and verified the correctness of it.


  • Ye Tian


    Distributed Storage Engineer