Please note that this tutorial is now superseded by a newer version.
This page contains links to the document and tools used in the RoboChart and RoboTool Tutorial held at the CyPhyAssure Spring School.
A distribution of Eclipse with RoboTool preinstalled is momentarily unavailable.
RoboChart projects for exercise 2.1 are available for download below:
The tutorial document is available below and can be downloaded here.