Tutorial on Isabelle/UTP

Activity: Talk or presentationWorkshop

Kangfeng Ye - Speaker

Zhiming Liu - Chair

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
14 May 201915 May 2019

Event (Workshop)

Title“NSFC-RS” Joint Project Workshop on<br/>Modelling, Verification, and Refinement of Evolving Cyber-Physical Systems
Period13/05/1915/05/19
Web address (URL)
LocationSouthwest University
CityChongqing
CountryChina

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations