This is a tutorial about how to use RoboTool for probabilistic verification with the PRISM model checker.
Download the RoboChart model from here, then follow the video to verify a very simple RoboChart model.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500