Department of Computer Science

ICFEM'2022: Formally Verified Animation for RoboChart, and RoboCert

Colleagues Kangfeng Ye and Matt Windsor will be presenting their papers at ICFEM’2022 on the 26-27 October 2022 on “Formally Verified Animation for RoboChart using Interaction Trees”, and “RoboCert: Property Specification in Robotics”, respectively.

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