InfoQ Homepage Presentations Designing Distributed Systems with TLA+
Designing Distributed Systems with TLA+
38:16
Summary
Hillel Wayne introduces the ideas behind TLA+, a specification language that describes a system and its properties, and how it works, with a focus on practical examples.
Bio
Hillel Wayne is a software consultant in Chicago who specialises in formal specification. He is the author of Learn TLA+ (learntla.com), currently writing Practical TLA+ (Apress, est 2018), and is on the Alloy Adoption and Outreach working group.
About the conference
Code Mesh LDN, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.
Apr 26, 2019