VerifyThis 2017: A Program Verification Competition

M. Huisman, R. Monahan, P. Müller, W. Mostowski, M. Ulbrich

Research output: Book/ReportReport

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
LanguageEnglish
PublisherKarlsruhe Institute of Technology
DOIs
StatePublished - 2017

Publication series

NameKarlsruhe Reports in Informatics
No.2017 - 10

Fingerprint

Sweden
event
software

Cite this

Huisman, M., Monahan, R., Müller, P., Mostowski, W., & Ulbrich, M. (2017). VerifyThis 2017: A Program Verification Competition. (Karlsruhe Reports in Informatics; No. 2017 - 10). Karlsruhe Institute of Technology. DOI: 10.5445/ir/1000077160
Huisman, M. ; Monahan, R. ; Müller, P. ; Mostowski, W. ; Ulbrich, M./ VerifyThis 2017 : A Program Verification Competition. Karlsruhe Institute of Technology, 2017. (Karlsruhe Reports in Informatics; 2017 - 10).
@book{3c084ac0e1f4453488764bbb9ffba6b8,
title = "VerifyThis 2017: A Program Verification Competition",
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",
author = "M. Huisman and R. Monahan and P. M{\"u}ller and W. Mostowski and M. Ulbrich",
year = "2017",
doi = "10.5445/ir/1000077160",
language = "English",
series = "Karlsruhe Reports in Informatics",
publisher = "Karlsruhe Institute of Technology",
number = "2017 - 10",

}

Huisman, M, Monahan, R, Müller, P, Mostowski, W & Ulbrich, M 2017, VerifyThis 2017: A Program Verification Competition. Karlsruhe Reports in Informatics, no. 2017 - 10, Karlsruhe Institute of Technology. DOI: 10.5445/ir/1000077160

VerifyThis 2017 : A Program Verification Competition. / Huisman, M.; Monahan, R.; Müller, P.; Mostowski, W.; Ulbrich, M.

Karlsruhe Institute of Technology, 2017. (Karlsruhe Reports in Informatics; No. 2017 - 10).

Research output: Book/ReportReport

TY - BOOK

T1 - VerifyThis 2017

T2 - A Program Verification Competition

AU - Huisman,M.

AU - Monahan,R.

AU - Müller,P.

AU - Mostowski,W.

AU - Ulbrich,M.

PY - 2017

Y1 - 2017

N2 - 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

AB - 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

U2 - 10.5445/ir/1000077160

DO - 10.5445/ir/1000077160

M3 - Report

T3 - Karlsruhe Reports in Informatics

BT - VerifyThis 2017

PB - Karlsruhe Institute of Technology

ER -

Huisman M, Monahan R, Müller P, Mostowski W, Ulbrich M. VerifyThis 2017: A Program Verification Competition. Karlsruhe Institute of Technology, 2017. (Karlsruhe Reports in Informatics; 2017 - 10). Available from, DOI: 10.5445/ir/1000077160