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

Play by Play: Developing Microservices and Mobile Apps with JHipster
Pluralsight
Software Archaeology - Learning from the Landing on the Moon
Devoxx via YouTube
Create an Eco-Friendly World with Green Software Engineering
Devoxx via YouTube
Platform Building for Data Mesh - Show Me How It Is Done
Devoxx via YouTube
The Hitchhiker's Guide to Software Architecture and Design
Devoxx via YouTube