TLA+ - The Temporal Logic of Actions — YouTube channel Gem

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 119 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 141 views · 05/05/2026

Thumbnail: Extensible Proof Decomposition Rules for TLAPS - Karolis Petrauskas

Extensible Proof Decomposition Rules for TLAPS - Karolis Petrauskas 106 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 303 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 588 views · 05/05/2026

Thumbnail: Verifying Differential Privacy in TLA+ - Ugur Yavuz

Verifying Differential Privacy in TLA+ - Ugur Yavuz 120 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 ✨

Leo Cui, Ph.D., CFA

"I’m Leo Cui, a venture investor focused on deep tech, AI, biotech, healthcare, semiconductors, robotics, quantum, and other frontier technologies. Previously did my Ph.D. at Harvard, postdoc at MIT. You can also follow me on LinkedIn: https://www."

Lifestyle Technology Knowledge

Clerk

"Clerk is a complete suite of embeddable UIs, flexible APIs, and admin dashboards to authenticate and manage your users."

Knowledge Technology Lifestyle

DIGIKIDZ - School Of Technology

"DIGIKIDZ -School Of Technology For Kids & Teens Age 5 - 16 Coding • Animation • Artificial Intelligence 3D Modeling • Game Development • Website Development Graphic Design • Machine Learning • Data..."

Technology Knowledge Lifestyle

Random discovery

Caucasian Grandma

"In this channel, you will discover how delicious meals are prepared in the village life of the Caucasus."

Food Lifestyle

SpaceRip

"Your home for exploring science and the cosmos..."

Entertainment Knowledge Society

Simon's Tech

"Hey Guys! I’m Simon. I love posting videos about consumer tech and what's happening on the internet. On my channel you can find full length reviews and more."

Lifestyle Technology

Back to discovery