Alloy for TLA+ users - Jay Parlar
30:06
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
46:26
Keynote: TLA+ at Microsoft: 16 Years in Production - David Langworthy
22:51
Using TLA+ for fun and profit in the development of Elasticsearch - Yannick Welsch
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
32:21
Alloy tutorial: Part 2 - Static modeling
43:05
Pawel Szulc - Formal verification applied (with TLA+)
1:30:43
Evolution of software architecture with the co-creator of UML (Grady Booch)
36:46