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/ )
Agenda: 1 Functional Programming with Isabelle/HOL 2 Imperative Programming with Isabelle/UTP 3 Reactive Programming with Isabelle/UTP
Period
14 May 2019 → 15 May 2019
Event title
“NSFC-RS” Joint Project Workshop on Modelling, Verification, and Refinement of Evolving Cyber-Physical Systems