cotalks.dev

TLA+ Conf 2024

Videos

Page 1 / 1

1 — Validating System Executions with the TLA+ Tools
TLA+ Conf 2024
Markus A Kuppe
2 — Reverse Engineering with TLA+
TLA+ Conf 2024
Calvin Loncaric
3 — TLA Conf24 - Specification Driven Development With TLA+
TLA+ Conf 2024
Guo Hua
4 — Promises and Challenges in Bridging TLA+ Designs with Implementations
TLA+ Conf 2024
Finn Hackett
5 — You Deserve Unicode TLA+, and Other Nice Things Too
TLA+ Conf 2024
Andrew Helwer
6 — TLA+ Conf - Towards Interactive Formal Specs
TLA+ Conf 2024
William Schultz
7 — TLA+ Conf 24 - Tackling State Space Explosion In TLA+ Visualizations
TLA+ Conf 2024
Daniel Stachnik
8 — Formal Methods in the Enterprise
TLA+ Conf 2024
David McNeil
9 — How we designed and model checked MongoDB reconfiguration protocol
TLA+ Conf 2024
Siyuan Zhou
10 — Keynote Fifteen years of formal methods at AWS
TLA+ Conf 2024
Marc Brooker
11 — Practical Insights from Datadog’s Use of TLA+ and Simulations
TLA+ Conf 2024
Arun Parthiban
12 — Welcome & Opening Announcements TLA+ Conf 2024
TLA+ Conf 2024