Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore the challenges and solutions in verifying distributed systems in this 38-minute conference talk from GOTO Chicago 2016. Delve into the complexities of partial failure and asynchrony, and learn how to address these issues to create correct systems. Discover various testing methodologies, including formal verification, property-based testing, fault injection, and game days. Gain insights into tools like QuickCheck, ScalaCheck, and Netflix's Simian Army. Understand the importance of testing in production and the limitations of monitoring. Learn about innovative approaches such as Lineage Driven Fault Injection and how companies like Amazon, Netflix, and Stripe implement these strategies. Equip yourself with practical knowledge to build and verify robust distributed systems, regardless of their scale.