▶

Using TLA+ to find concurrency bugs in software designs

Strange Loop Conference · Talk · YouTube title: "Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Why it's here

Recommended as a concise, high-level intro to what TLA+ is and when it helps.

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 examples.