33:07

Reverse Engineering with TLA+ Calvin Loncaric, Oracle

25:32

Gesund alt werden: Diese Tipps hat Dr. Müller-Wohlfahrt I 7 Fragen Zukunft I BR24

45:44

Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft

1:29:21

Thailand für Immer - Macht auswandern glücklich? | Eine Langzeitbeobachtung | SWR Doku

1:12:15

Ray - Powering ML at Scale

27:03

Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog

52:03

Keynote Fifteen years of formal methods at AWS  Marc Brooker, Amazon AWS

39:02

Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett