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

October 2008

Abstract

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.