Animation of RoboChart with Interaction Trees

Oct 6, 2021
Project
RoboChart Animation Verification Theorem Proving Isabelle Z 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.