Department of Computer Science

UVC case study - verification using PRISM


The RoboChart model of this UVC case study for risk analysis of an agriculture robot providing UV light-treatment is on Github. Its verification results using PRISM is shown here.

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