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.
