Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

The Verification of a Distributed System

GOTO Conferences via YouTube

Start learning Write review
Boot.dev Ad

Learn Backend Development Part-Time, Online

Learn More → Coursera Ad

AI, Data Science & Cloud Certificates from Google, IBM & Meta

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk examines the challenges partial failure and asynchrony pose to distributed-system correctness. It surveys verification approaches including formal specifications, property-based testing, fault injection, and game days.

Syllabus

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

Taught by

GOTO Conferences

Reviews

Start your review of The Verification of a Distributed System

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.