lemmsteron Lobsters • Recommends
TLA+ at Microsoft to build planetary-scale systems
0:00 / 0:00
#tlaplus#cosmosdb#formalverification
Dharma Shukla: TLA+ at Microsoft to build planetary-scale systems - Keynote TLA+ Community Event
TLA+ - The Temporal Logic of Actions
1.3K subscribers • 3 videos on Hallway
- Recommended by 1 person: 1 on Lobsters.
- Presented by Dharma Shukla
Advanced. Deep dive for people who know the field.
4.2K views5 years ago1 recommendation
Distributed systemsSoftware designFormal methods and verificationSoftware architectureScaling and large-scale architecture
Dharma Shukla discusses how Microsoft uses TLA+ to design and verify planetary-scale distributed systems like Cosmos DB.
conf.tlapl.us/2020/Why it's here
1 person recommends thisWhat people say. Recommended as a great real-world case study of using TLA+ for formal verification in large-scale cloud systems.