Alloy for TLA+ users - Jay Parlar
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
33:07
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
40:27
"Finding bugs without running or even looking at code" by Jay Parlar
50:05
6. Monte Carlo Simulation
43:05
Pawel Szulc - Formal verification applied (with TLA+)
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
36:46