Presentations on Isabelle/UTP
-
Isabelle/UTP: A Verification Toolbox for Unifying Theories. Given at FMATS 2017 workshop at Microsoft Research in Cambridge, UK. September, 2017.
-
Foundations for Simulink diagrams in UTP. Given at Simulink workshop with Mathworks at IIIT in Bangalore. May, 2017.
-
Verification with Automated Reasoning. Guest lecture on University of York course Programming: Correctness by Construction (PCOC), featuring Isabelle/UTP. March, 2017.
-
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Given at Concurrency, Security, and Puzzles: Bill Roscoe’s 60th Birthday Festschrift, at Oxford University, UK. January, 2017.
-
Unifying heterogeneous state-spaces with lenses. Given at ICTAC 2016 in Taipei, Taiwan. October, 2016.
-
Towards a UTP semantics for Modelica. Given at UTP 2016 in Reykjavik, Iceland. June, 2016.
Isabelle/UTP is supported by projects INTO-CPS, RoboCalc, and CyPhyAssure