Reverse Engineering with TLA+ Calvin Loncaric, Oracle
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
45:44
Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft
43:05
Pawel Szulc - Formal verification applied (with TLA+)
1:02:53
Session 21: High Performance Python and Parallelization
39:02
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett
52:03
Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS
25:08
TLA Conf24 - Guo Hua - Specification Driven Development With TLA+
30:53