Verifying design patterns in Hoare Type Theory

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

View graph of relations

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

ID: 276080