Tutorial 2: Introduction to TLA+

This tutorial introduces the TLA+ specification language and toolbox. You will find smaller exercises together with solutions in the slides.

Slides: Introduction to TLA and TLA+ 2024 ID2203.pdf Download Introduction to TLA and TLA+ 2024 ID2203.pdf

Video recording (from last year): https://youtu.be/_W4kak3kPfE