Skip to search boxSkip to navigationSkip to main content

Verifying design patterns in Hoare Type Theory

  • Kasper Svendsen
    ,
  • Alexandre Buisse
    ,
  • Lars Birkedal
Research Output:
Book / Anthology / Report
Report

Open access

Publication Information

Output type

Research Output:
Book / Anthology / Report
Report

Original language

English

Publication milestones

  • Published - 2008

Publication status

Published - 2008

Place of publication

Copenhagen

Edition

TR-2008-112

Publisher

IT-Universitetet i København, Denmark

Book series

  • Book series name: IT University Technical Report Series
    Series number: TR-2008-112
    ISSN: 1600-6100

ISBN (Print)

978-87-7949-1886-1

Abstract

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

Access to documents

ITU-TR-2008-112 pdf, opens in new tab
Final published version, 149.65 KB