YoVDO

The Verification of a Distributed System

Offered By: Devoxx via YouTube

Tags

Devoxx Courses Software Testing Courses Distributed Systems Courses Software Engineering Courses Formal Methods Courses

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

Intro to Computer Science
University of Virginia via Udacity Software Engineering for SaaS
University of California, Berkeley via Coursera CS50's Introduction to Computer Science
Harvard University via edX UNSW Computing 1 - The Art of Programming
OpenLearning Mobile Robotics
Open2Study