Learn Python with Generative AI - Self Paced Online
Google, IBM & Microsoft Certificates — All in One Plan
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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