Formally Verified Animation for RoboChart Using Interaction Trees

Oct 19, 2022
Project Project
RoboChart Verification Theorem Proving Isabelle Probabilistic UTP Formal semantics Mechanisation Interaction Trees CSP
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.