Alloy for TLA+ users - Jay Parlar
43:05
Pawel Szulc - Formal verification applied (with TLA+)
46:26
Keynote: TLA+ at Microsoft: 16 Years in Production - David Langworthy
33:07
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
40:27
"Finding bugs without running or even looking at code" by Jay Parlar
22:51
Using TLA+ for fun and profit in the development of Elasticsearch - Yannick Welsch
1:55:27
Worst Fails of the Year | Try Not to Laugh 💩
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
36:46