For further information of this talk, please see my paper Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP.
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.