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

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera