"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

Why it was recommended

If you are new to TLA+ and just want to get the basic idea and use cases, I recommend the talk.

Recommendationajmurmann · Original2018-03

What it covers

Hillel Wayne's Strange Loop talk introducing TLA+ as a specification language for finding concurrency bugs in designs. It covers stalling, race conditions and dropped messages, with PlusCal. It is for someone meeting the subject for the first time.

Video details

Channel

Strange Loop Conference

Length

30 min 6 sec

Year

2017

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Math's Fundamental Flaw
• The Banach–Tarski Paradox
• The Future of Mathematics?