Verifying design patterns in Hoare Type Theory

Kasper Svendsen, Alexandre Buisse, Lars Birkedal

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

    Abstract

    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
    VolumeTR-2008-112
    Number of pages12
    ISBN (Print)978-87-7949-1886-1
    Publication statusPublished - 2008
    SeriesIT University Technical Report Series
    NumberTR-2008-112

    Cite this