TLA+ Conf 2024

Videos

• 

  1 — Welcome & Opening Announcements TLA+ Conf 2024
• 

  2 — Keynote Fifteen years of formal methods at AWS

  Marc Brooker
• 

  3 — Formal Methods in the Enterprise

  David McNeil
• 

  4 — TLA+ Conf - Towards Interactive Formal Specs

  William Schultz
• 

  5 — Reverse Engineering with TLA+

  Calvin Loncaric
• 

  6 — How we designed and model checked MongoDB reconfiguration protocol

  Siyuan Zhou
• 

  7 — TLA+ Conf 24 - Tackling State Space Explosion In TLA+ Visualizations

  Daniel Stachnik
• 

  8 — You Deserve Unicode TLA+, and Other Nice Things Too

  Andrew Helwer
• 

  9 — TLA Conf24 - Specification Driven Development With TLA+

  Guo Hua
• 

  10 — Validating System Executions with the TLA+ Tools

  Markus A Kuppe
• 

  11 — Practical Insights from Datadog’s Use of TLA+ and Simulations

  Arun Parthiban
• 

  12 — Promises and Challenges in Bridging TLA+ Designs with Implementations

  Finn Hackett