The submission (Formally Verified Animation for RoboChart using Interaction Trees) to ICFEM2022 is accepted

Jun 27, 2022
Robotics Formal verification Animation CSP RoboChart Theorem Proving Interaction Trees
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.