Isabelle/UTP Tutorial in Chinese

The material of the tutorial is very much based on the tutorial that Dr. Simon Foster gave during CyphyAssure Spring School.

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.