TLA+ by Markus Kuppe

(1:39:41)

Markus Kuppe — Workshop: TLA+ in action (Part 1)

(1:13:35)

Weeks of Debugging Can Save You Hours of TLA+ - Markus A Kuppe, Microsoft | Craft Conference, 2023

(43:16)

Markus Kuppe — Workshop: TLA+ in action (Part 2)

(1:10:48)

Markus Kuppe — Workshop: TLA+ in action (Part 3)

(1:12:50)

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

(45:44)

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

(27:3)

Master Data: Let's Talk Governance!

(35:50)

State Space Explosion or: How To Fight An Uphill Battle - Markus Kuppe

(57:52)

Obtaining Statistical Properties by Simulating Specs with TLC - Jack Vanlightly and Markus A. Kuppe

(57:42)

Markus Kuppe — Workshop: TLA+ in action (Part 4)

(1:11:54)

Evaluating TLA+ trace expressions without the Toolbox

(5:6)

Let's Talk ETC! #70 - Markus Kuppe - Intro To TLA+ \u0026 Formal Smart Contract Design Specification

(36:31)

eXtreme Modelling in Practice - Jesse Davis, Max Hirschhorn, and Judah Schvimer

(21:39)