Isabelle/UTP

Isabelle/UTP Tutorial in Chinese

A Isabelle/UTP tutorial to the students in the computer science in Southwest University during three-days’ workshop. The tutorial is about 1 day (two afternoon).

May 13, 2019

Isabelle/UTP Tutorial in Chinese

VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)

A UK National Cyber Security Centre (NCSC) funded project and we have developed a theoretical reasoning framework for discrete-time blocks of control law diagrams.

VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)

Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

This report is a summary of our work for the VeTSS funded project ?Mechanised Assume-Guarantee Reasoning for Control Law Diagrams via …

<ins>Kangfeng Ye</ins>, Simon David Foster, JAMES Charles Paul Woodcock