Using TLA+ for fun and profit in the development of Elasticsearch - Yannick Welsch
37:44
Fixing a MongoDB Replication Protocol Bug with TLA+ - William Schultz
43:05
Pawel Szulc - Formal verification applied (with TLA+)
45:31
Alloy for TLA+ users - Jay Parlar
33:07
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
30:06
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
38:59
"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022)
59:50
Leslie Lamport: Thinking Above the Code
26:52