Tutorial on Isabelle/UTP

  • Ye, K. (Speaker)
  • Zhiming Liu (Chair)

Activity: Talk or presentationWorkshop


Two afternoons' tutorial on Isabelle/UTP in Chinese. (Based on Simon Foster's tutorial given in CyPhyAssure Spring School - https://www.cs.york.ac.uk/circus/CyPhyAssure/school/ )

1 Functional Programming with Isabelle/HOL
2 Imperative Programming with Isabelle/UTP
3 Reactive Programming with Isabelle/UTP
Period14 May 201915 May 2019
Event title“NSFC-RS” Joint Project Workshop on
Modelling, Verification, and Refinement of Evolving Cyber-Physical Systems
Event typeWorkshop
LocationChongqing, ChinaShow on map
Degree of RecognitionLocal