Isabelle/UTP is an implementation of Hoare and He’s Unifying Theories of Programming in Isabelle/HOL. For more information, please see the Isabelle/UTP website.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599
