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.
Overview
Syllabus
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
Taught by
GOTO Conferences
Related Courses
-
Turning an Incident Report into a Design Issue with TLA+
-
Weeks of Debugging Can Save You Hours of TLA+
-
Building Confidence in Concurrent Code with a Model Checker
-
Your Team as a Distributed System
-
Ranges for Distributed and Asynchronous Systems
-
Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States
