Aarhus University Seal / Aarhus Universitets segl

Verifying design patterns in Hoare type theory

Research output: Working paper/Preprint Working paperResearchpeer-review

Documents

  • 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
NumberTR-2008-112
ISSN1600-6100

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 82082591