Verifying design patterns in hoare type theory
TR-2008-112, Authors: Kasper Svendsen, Alexandre Buisse and Lars Birkedal
Kasper Svendsen, Alexandre Buisse, and Lars Birkedal
In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.
Technical report TR-2008-112 in IT University Technical Report Series, October 2008.
Available as PDF.