KIT | KIT-Bibliothek | Impressum | Datenschutz

VerifyThis 2017 : A Program Verification Competition

Huisman, Marieke; Monahan, Rosemary; Müller, Peter; Mostowski, Wojciech; Ulbrich, Mattias ORCID iD icon

Abstract:

VerifyThis 2017 was a two-day program verification competition which took place from April 22-23rd, 2017 in Uppsala, Sweden as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2017 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition.


Volltext §
DOI: 10.5445/IR/1000077160
Veröffentlicht am 05.12.2017
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2017
Sprache Englisch
Identifikator ISSN: 2190-4782
urn:nbn:de:swb:90-771600
KITopen-ID: 1000077160
Verlag Karlsruher Institut für Technologie (KIT)
Umfang 9 S.
Serie Karlsruhe Reports in Informatics ; 2017,10
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page