Isabelle/UTP
A verification toolbox for Isabelle/HOL based on Unifying Theories of Programming
View project on
GitHub
Examples
We show a number of example Isabelle theories from Isabelle/UTP.
Isabelle/UTP is supported by projects
INTO-CPS
,
RoboCalc
, and
CyPhyAssure