Correct by Design with TLA+: Motivation
39:03
SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+
20:37
Correct by Design with TLA+: Digital Clock
10:49
Correct by Design with TLA+: Dining Philosophers
8:03
Annotated Bib example: WRT 1020
17:24
Launching a Course is Like Throwing a BIG Party
10:57
1 Corinthians Chapter 3 - Bible Study
30:53
SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+
44:33