TLA+ Community Meeting 2023
Saturday, April 22, 2023
Paris, France

Building Hyperscale IoT Services With TLA+

Vaibhav Sharma


Discover how Azure IoT adopted TLA+ to build distributed hyperscale services with high availability and desired consistency. It led to early detection of critical design flaws and resulted in massive reduction in post-production issues.