YoVDO

The Verification of a Distributed System - A Practitioner's Guide to Increasing Confidence in System Correctness

Offered By: GOTO Conferences via YouTube

Tags

Distributed Systems Courses Formal Methods Courses Fault Tolerance Courses Property-based Testing Courses Chaos Engineering Courses TLA+ Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the challenges and solutions for verifying distributed systems in this 41-minute conference talk from YOW! 2016. Dive into the complexities of partial failure and asynchrony, and learn practical approaches to increase confidence in system correctness. Gain insights from Caitie McCaffrey, a Distributed Systems Diva at Twitter, as she shares her expertise on building and testing robust distributed systems. Discover techniques to address the unique realities of distributed computing and create more reliable, fault-tolerant applications. Perfect for developers, system architects, and anyone interested in improving the reliability of complex distributed systems.

Syllabus

The Verification of a Distributed System • Caitie McCaffrey • YOW! 2016


Taught by

GOTO Conferences

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