15:12
TLA+ Conf - William Schultz - Towards Interactive Formal Specs
178 views • 3 weeks ago
15:28
TLA+ Conf 24 - Daniel Stachnik - Tackling State Space Explosion In TLA+ Visualizations
124 views • 3 weeks ago
25:08
TLA Conf24 - Guo Hua - Specification Driven Development With TLA+
208 views • 3 weeks ago
52:03
Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS
1.2K views • 3 weeks ago
45:44
Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft
195 views • 3 weeks ago
28:58
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn
328 views • 3 weeks ago
21:12
You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLC
337 views • 3 weeks ago
33:07
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
283 views • 3 weeks ago
39:02
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett
189 views • 3 weeks ago
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
357 views • 3 weeks ago
18:39
Formal Methods in the Enterprise David McNeil
206 views • 4 weeks ago
24:31
How we designed and model checked MongoDB reconfiguration protocol Siyuan Zhou, MongoDB
176 views • 4 weeks ago
6:43
Welcome & Opening Announcements TLA+ Conf 2024
182 views • 4 weeks ago
0:23
TLA+ Debugger: Launching the debugger
650 views • 2 months ago
0:49
TLA+ Debugger: Force violation of artificial invariant with 'violate' debugger command
71 views • 5 months ago
1:08
TLA+ Debugger: Spec Breakpoint combined with stepping back from/over states (simulation mode only)
82 views • 5 months ago
0:49
TLA+ Debugger: Stepping and 'Run to Cursor'
91 views • 5 months ago
0:38
TLA+ Debugger: Unsatisfied next-state relation breakpoint
104 views • 5 months ago
0:21
TLA+ Debugger: State variables in watch expressions
63 views • 5 months ago
0:14
TLA+ Debugger: Action parameters
48 views • 5 months ago
0:16
TLA+ Debugger: Function application hovering
88 views • 5 months ago
0:57
TLA+ Debugger: Breakpoint Expressions
144 views • 1 year ago
49:19
Specifying and checking an extension of Tendermint consensus in TLA+ - Kukovec et al.
351 views • 1 year ago
45:00
reTLA: Towards an Automatic Transpiler from TLA+ to VMT - Kukovec et al.
249 views • 1 year ago
41:38
Extending Apalache to Symbolically Reason about Temporal Properties of TLA+ - Offtermatt et al.
245 views • 1 year ago
57:42
Obtaining Statistical Properties by Simulating Specs with TLC - Jack Vanlightly and Markus A. Kuppe
1K views • 1 year ago
52:31
Compiling Distributed System Models into Implementations with PGo - Hackett et al.
555 views • 1 year ago
56:29
Keynote: Formal Methods at Microsoft - Nikolaj Bjørner
2.8K views • 1 year ago
24:18
The TLA+ Debugger
729 views • 1 year ago
1:20
TLA+ Debugger: Watch expressions
195 views • 1 year ago
Load More