TLA Releases Trailers - Search Videos

TLA+ Toolbox 1.7.1 Basics(use)

TLA+ Toolbox 1.7.1 Basics(use)

409 viewsMar 13, 2021

YouTubecodingcl

Code to TLA based on Generative AI

Code to TLA based on Generative AI

759 views3 weeks ago

bilibili算法主义

Converting Number to String in TLA+

Converting Number to String in TLA+

Specula: Generating TLA+ Specifications from System Code using Generative AI

Specula: Generating TLA+ Specifications from System Code …

12 views3 weeks ago

YouTubeTLA+ - The Temporal Logic of Actions

Die Hard with animations

Die Hard with animations

44 views3 weeks ago

YouTubeTLA+ - The Temporal Logic of Actions

Defining Sequential Actions in TLA+ : A Comprehensive Guide

Defining Sequential Actions in TLA+ : A Comprehensive Guide

1 views2 months ago

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

Specula: A Framework for Synthesizing High-Quality TLA+ S…

18 views5 months ago

YouTubeQian Cheng

Correct by Design with TLA+: Digital Clock

68 views10 months ago

YouTubeRichard Tang

Lamport亲自授《TLA 课程》2 - 用TLA 描述状态机

747 viewsAug 11, 2022

bilibili并发笔记

Lamport亲自授《TLA 课程》6 - 二阶段提交

455 viewsSep 8, 2022

bilibili并发笔记

See more videos