Gå til søgefeltetSpring over til navigationSpring til hovedindhold

Verifying design patterns in Hoare Type Theory

  • Kasper Svendsen
    ,
  • Alexandre Buisse
    ,
  • Lars Birkedal
Publikation:
Bog / Antologi / Rapport
Rapport
Forskning

Open Access

Resume

In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.

Publikation information

Produktionstype

Publikation:
Bog / Antologi / Rapport
Rapport
Forskning

Originalsprog

Engelsk

Publikationsmilepæle

  • Udgivet - 2008

Publikationsstatus

Udgivet - 2008

Udgivelsessted

Copenhagen

Udgave

TR-2008-112

Forlag

IT-Universitetet i København, Danmark

Bogserie

  • Bogserienavn: IT University Technical Report Series
    Serienummer: TR-2008-112
    ISSN: 1600-6100

ISBN (Trykt)

978-87-7949-1886-1

Adgang til dokumenter

ITU-TR-2008-112 pdf, åbner i en ny fane
Forlagets udgivne version, 149.65 KB