© 2009-2023 Strange Loop | Privacy Policy
TLA+ Workshop
You already know how to find bugs in your code, but what about bugs in your design? With a bad design your system is broken from the start, leading to lots of wasted time and costly rework. It's better to find design bugs early, and that's where TLA+ comes in.
TLA+ is a language for writing tests directly against a system model, finding bugs before you even start writing the code. It's especially good for finding race conditions in concurrent and distributed systems, and has been enthusiastically recommended by places like Amazon, Microsoft, and CrowdStrike.
This workshop will teach the basics on TLA+. No prior experience with software design required!
Hillel Wayne
Software Researcher and Historian
Hillel is a formal methods consultant, the author of Practical TLA+, and a member of the TLA+ and Alloy boards. In his free time, he juggles and makes chocolate. He did, in fact, bring enough for everyone.