Get started with TLA+ tutorial video

A TLA+ tutorial presentation on the basics of using the language and making the most of the Apalache and TLC model checkers.

Links

• Youtube