Tutorial 3: Introduction to TLA+ and PlusCal

The recording of tutorial 3 about TLA+ and PlusCal can be found here. Links to an external site.