Verifying design patterns in Hoare Type Theory

Kasper Svendsen, Alexandre Buisse, Lars Birkedal

    Research output: Book / Anthology / ReportReportResearch

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

    Keywords

    • Design Patterns
    • Hoare Type Theory
    • Formal Verification
    • Experiments
    • Technical Report

    Fingerprint

    Dive into the research topics of 'Verifying design patterns in Hoare Type Theory'. Together they form a unique fingerprint.

    Cite this