Verifying design patterns in Hoare Type Theory

Kasper Svendsen, Alexandre Buisse, Lars Birkedal

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

    Abstract

    In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.
    OriginalsprogEngelsk
    UdgivelsesstedCopenhagen
    ForlagIT-Universitetet i København
    UdgaveTR-2008-112
    Antal sider12
    ISBN (Trykt)978-87-7949-1886-1
    StatusUdgivet - 2008
    NavnIT University Technical Report Series
    NummerTR-2008-112
    ISSN1600-6100

    Emneord

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

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Verifying design patterns in Hoare Type Theory'. Sammen danner de et unikt fingeraftryk.

    Citationsformater