RoboChart & RoboTool: modelling and verification of probabilistic systems

Oct 15, 2019
Project
Probability PRISM Verification
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.