The Verification of a Distributed System

Offered By: Devoxx via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore strategies for verifying and testing distributed systems in this 48-minute conference talk from Devoxx. Delve into the challenges of partial failure and asynchrony in distributed systems, and learn how to address these issues to create correct and robust solutions. Discover formal methods for proving system correctness, as well as less rigorous testing approaches to increase confidence in system behavior. Gain insights from Caitie McCaffrey, a Backend Brat and Distributed Systems Diva at Twitter, as she shares her expertise in building services and systems for the entertainment industry at companies like 343 Industries, Microsoft Game Studios, and HBO.

Syllabus

The Verification of a Distributed System by Caitie McCaffrey

Taught by

Devoxx

Related Courses

Advanced Operating Systems
Georgia Institute of Technology via Udacity High Performance Computing
Georgia Institute of Technology via Udacity GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX CS125x: Advanced Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX