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

YouTube

Turning an Incident Report into a Design Issue with TLA+

USENIX via YouTube

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk shows how to model a microservice architecture and CosmosDB’s user-visible behavior under concurrency with TLA+. It explains how the resulting specification can reveal outage root causes, design issues, and documentation bugs during postmortem analysis.

Syllabus

SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+

Taught by

USENIX

Reviews

Start your review of Turning an Incident Report into a Design Issue with TLA+

Never Stop Learning.

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

Someone learning on their laptop while sitting on the floor.