Statestep Tutorial

Tutorial

The parts of the tutorial are best read in sequence.

More information on the practical use and theory of the notation supported by the tool can be found in documents available on the website.