The Verification of a Distributed System

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.