Azure/azure-cosmos-tla

Azure Cosmos TLA+ specifications

5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2019-01-18 · latest 2025-06-12

Mentions per year 5 mentions · busiest year 2019 (3)

20082026

All Stories Comments Newest Top Oldest

…who created and maintains TLA+ (among other things). Just for some quick examples: Microsoft: https://github.com/Azure/azure-cosmos-tla , https://www.youtube.com/watch?v=kYX6UrY_ooA Google: https://research.google/pubs/specifying-bgp-using-…
comment by Twirrim · 2025-06-12 · in Solving LinkedIn Queens with SMT
Microsoft built Azure CosmosDB based on TLA+: https://github.com/Azure/azure-cosmos-tla
comment by CyanLite2 · 2021-03-08 · in TLA+
And here is the Github of their models: https://github.com/Azure/azure-cosmos-tla
comment by trobertson · 2019-11-29 · in TLA+ model checking made symbolic
…how up to date they are to current state of the DB since they haven't been updated for a while. [0] https://github.com/Azure/azure-cosmos-tla
comment by dtrailin · 2019-04-14 · in Azure Cosmos DB: Microsoft's Cloud-Born Globally Distributed Database
…is Microsoft multi model, multi master, geo database with five consistency levels for performance. https://github.com/Azure/azure-cosmos-tla
comment by ashish_negi_ · 2019-01-18 · in Introduction to TLA+ Model Checking in the Command Line