Designing Distributed Systems with TLA+

Explore the power of TLA+ for designing and testing distributed systems in this conference talk from YOW! 2019. Learn how this specification language can help you overcome the challenges of concurrency and test complex systems spread across multiple services and languages. Discover how TLA+ complements unit testing and type systems by allowing you to check both your code and design. Gain insights into detecting and preventing stalling, race conditions, and dropped messages in concurrent systems. Follow along with practical examples as the speaker demonstrates how TLA+ caught complex bugs in real-world scenarios. Get started with applying TLA+ to your own work and improve the reliability of your distributed systems.