TLA+ Community Event 2020
October 15.-16. & 19.
Virtual
Building Hyperscale IoT Services With TLA+
Vaibhav Sharma
Microsoft
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.