Avatar of TLA+ - The Temporal Logic of Actions
✨ Gem 1K - 10K subscribers

TLA+ - The Temporal Logic of Actions 🇺🇸

See on YouTube
Lifestyle Knowledge Technology
1.33K
Subscribers
106.3K
Views
114
Videos
932
Views / Video

About the channel

TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.

Latest videos

Thumbnail: A generic hardware in-order pipeline arch model to capture key temporal properties - Mamoun Filali
A generic hardware in-order pipeline arch model to capture key temporal properties - Mamoun Filali 126 views · 05/05/2026
Thumbnail: Systematic API Testing through Model Checking and Executable Contracts - Ana Catarina Ribeiro
Systematic API Testing through Model Checking and Executable Contracts - Ana Catarina Ribeiro 157 views · 05/05/2026
Thumbnail: Extensible Proof Decomposition Rules for TLAPS - Karolis Petrauskas
Extensible Proof Decomposition Rules for TLAPS - Karolis Petrauskas 110 views · 05/05/2026
Thumbnail: Interactive symbolic testing with TLA+, Apalache, and LLMs - Igor Konnov
Interactive symbolic testing with TLA+, Apalache, and LLMs - Igor Konnov 341 views · 05/05/2026
Thumbnail: Thinking in TLA+: Modeling Judgment for System Design - Murat Demirbas
Thinking in TLA+: Modeling Judgment for System Design - Murat Demirbas 669 views · 05/05/2026
Thumbnail: Verifying Differential Privacy in TLA+ - Ugur Yavuz
Verifying Differential Privacy in TLA+ - Ugur Yavuz 123 views · 05/05/2026

What do members think of TLA+ - The Temporal Logic of Actions?

Your feedback is about the channel itself,

Loading…

Continue your exploration

Similar channels in the same tier ✨

CISO Marketplace

"Welcome to CISO Marketplace — Your Hub for Cybersecurity Tools, Insights & Innovation Explore cutting-edge tools, e-learning, and expert content built for CISOs, security pros, and tech enthusiasts."

LifestyleTechnologyKnowledge

Why NoT-IAM

"Welcome to the India First Channel on Identity Security (IAM) - Why "NOT" IAM - Where Identity and Access Management as a Technology is made comfortable for everyone."

KnowledgeTechnologyLifestyle

Telia Company

"Telia Company provides network access and telecommunication services that help our customers communicate in an easy, efficient and environmentally friendly way."

TechnologyKnowledgeLifestyle

Random discovery

Never Two Full

"Hi, we’re Caleb and Taylor - aka Never Two Full! We’re eating our way around the world—fueled by great cocktails and carbs. Our mission?"

FoodLifestyleTourism

Ali Abdaal

"I'm Ali - doctor turned entrepreneur, YouTuber, and author of the New York Times bestseller Feel-Good Productivity."

Knowledge
Back to discovery