Skip to content

Distributed Systems Handbook

Select language

What's New
I. Foundations & The Laws of Physics
II. Communication Protocols & API Design
III. Data Management & Consistency
IV. Data Processing Architectures
V. Coordination & Consensus
VI. Microservice Architecture Patterns
VII. Resilience & Production Engineering
VIII. Observability
IX. Container Orchestration & Kubernetes
X. Service Mesh & Network Security
XI. Security Architecture
XII. Deployment Strategies & Operations
XIII. Case Studies
- Part Overview
- 13.1. Messaging Platform: Apache Kafka
- 13.2. Distributed Key-Value Store: DynamoDB / Cassandra
- 13.3. Microservices at Scale: Netflix, Uber, Airbnb
- 13.4. Real-Time Analytics Platforms
- 13.5. Distributed SQL: Spanner & CockroachDB
- 13.6. Anatomy of Famous Outages

Select language

On this page

Overview

On this page

Overview

Formal Specification: TLA+ and Model Checking

Coming soon

This page is planned and has not been written yet. Follow What’s New or the RSS feed to see it when it is published.

Previous12.4.7. Correctness Testing: Jepsen and Deterministic Simulation NextPart Overview

© 2026 Görkem Sarı Content licensed under CC BY-NC-SA 4.0 ⭐ Found it useful? Star it on GitHub Spotted an error? Report it