Markus Kuppe

YouTube: @markuskuppe

Videos (13)

Validating System Executions with the TLA+ Tools

TLA+ Conf 2024 | Markus A Kuppe

TLA Conf24 - Specification Driven Development With TLA+

TLA+ Conf 2024 | Guo Hua

TLA+ Conf - Towards Interactive Formal Specs

TLA+ Conf 2024 | William Schultz

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

TLA+ Conf 2024 | Daniel Stachnik

Keynote Fifteen years of formal methods at AWS

TLA+ Conf 2024 | Marc Brooker

You Deserve Unicode TLA+, and Other Nice Things Too

TLA+ Conf 2024 | Andrew Helwer

TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn

Reverse Engineering with TLA+

TLA+ Conf 2024 | Calvin Loncaric

Promises and Challenges in Bridging TLA+ Designs with Implementations

TLA+ Conf 2024 | Finn Hackett

Formal Methods in the Enterprise

TLA+ Conf 2024 | David McNeil

How we designed and model checked MongoDB reconfiguration protocol

TLA+ Conf 2024 | Siyuan Zhou

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

TLA+ Conf 2024 | Arun Parthiban

Welcome & Opening Announcements TLA+ Conf 2024

TLA+ Conf 2024