Aarhus University Seal / Aarhus Universitets segl

Verifying design patterns in Hoare type theory

Research output: Working paper/Preprint Working paperResearchpeer-review


  • Kasper Svendsen, IT University of Copenhagen, Denmark
  • Alexandre Buisse, IT University of Copenhagen, Denmark
  • Lars Birkedal
In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory
Original languageEnglish
PublisherIT University of Copenhagen
Number of pages12
Publication statusPublished - 2008
Externally publishedYes
SeriesI T University. Technical Report Series

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 82082591