Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022

Explore the power of formal methods in distributed computing through this Lambda Days 2022 conference talk by Thomas Gebert, a lecturer at CUNY CityTech. Discover how TLA+ can be used to predict and prevent chaos in complex systems, moving beyond untestable whiteboard drawings and ad-hoc scripts. Learn why formal methods are crucial for designing robust distributed systems and how they can help you avoid late-night emergencies. Gain insights into the importance of using blueprints in software design, much like in architecture, and understand how TLA+ serves as an effective tool for implementing formal methods. Delve into practical applications that demonstrate how proper use of formal methods can significantly improve system reliability and reduce the likelihood of unexpected failures.

Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert | Lambda Days 2022