The Verification of a Distributed System

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.

Intro
About Caitie
What is a distributed system
Were all building distributed systems
Any size system
Overview
Github Page
Testing Properties
Formal Verification
Formal Specifications
Our Clock
Amazon
Highlights
Formal Methods
Unit Tests
Type Systems
Integration Tests
Staging Environment
Error Handling
Property Based Testing
QuickCheck
ScalaCheck
Fault Injection
Netflix Simian Army
Jepsen
Distributed Systems
Game Days
How to Run a Game Day
Stripes Game Day
Testing in Production
Monitoring is not testing
Verification
Lineage Driven Fault Injection
Netflix Fault Injection
Conclusion
Quote