Markus Kuppe — Workshop: TLA+ in action (Part 1)
![](https://i.ytimg.com/vi/N0WOXFWBnhc/mqdefault.jpg)
1:10:48
Markus Kuppe — Workshop: TLA+ in action (Part 2)
![](https://i.ytimg.com/vi/l9XZYI3jta0/mqdefault.jpg)
43:05
Pawel Szulc - Formal verification applied (with TLA+)
![](https://i.ytimg.com/vi/zMSUdp5PH4c/mqdefault.jpg)
3:57
Lamport on discovering the Bakery Algorithm
![](https://i.ytimg.com/vi/l3UdQy98sQ8/mqdefault.jpg)
36:46
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
![](https://i.ytimg.com/vi/_9B__0S21y8/mqdefault.jpg)
30:06
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
![](https://i.ytimg.com/vi/Ocxczi-CvRQ/mqdefault.jpg)
49:52
TLA+: Viewed from 40,000 Feet and Ground Level
![](https://i.ytimg.com/vi/wecVT_4QDcU/mqdefault.jpg)
41:25
Verifying Payment Channels with TLA+ - Matthias Grundmann
![](https://i.ytimg.com/vi/d5l-oUWuZk0/mqdefault.jpg)
11:18