Verifying design patterns in Hoare Type Theory

Kasper Svendsen, Alexandre Buisse, Lars Birkedal

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

    Abstrakt

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

    Citationsformater