Department of Computer Science

Case Studies

Below is a list of case studies considered in the context of RoboStar projects, namely in the context of RoboCalc.

Models and analysis

The following models have been specified and analysed using RoboTool. The version of RoboTool used for each case study is linked.

Other examples

The following examples consist of RoboChart models without analysis.

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