Get started with TLA+ tutorial video
concurrency
A TLA+ tutorial presentation on the basics of using the language and making the most of the Apalache and TLC model checkers.
A TLA+ tutorial presentation on the basics of using the language and making the most of the Apalache and TLC model checkers.