Verifying design patterns in Hoare Type Theory

Kasper Svendsen, Alexandre Buisse, Lars Birkedal

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch


    In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    Number of pages12
    ISBN (Print)978-87-7949-1886-1
    Publication statusPublished - 2008
    SeriesIT University Technical Report Series

    Cite this