Department of Computer Science

RoboTool Tutorial

RoboChart projects for exercise 2.1 are available for download below:

The tutorial document is available below and can be downloaded here.

While there are no exercises for RoboCert, one may download the foraging robot example used in its tool demonstration.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements