VerifyThis 2017: A Program Verification Competition

Marieke Huisman, Rosemary Monahan, Peter Müller, Wojciech Mostowski, Mattias Ulbrich

Research output: Book/ReportReportProfessional

66 Downloads (Pure)

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
Original languageEnglish
Place of PublicationKarlsruhe
PublisherKarlsruhe Institute of Technology
DOIs
Publication statusPublished - 2017

Publication series

NameKarlsruhe Reports in Informatics
PublisherKarlsruhe Institute of Technology
No.2017-10
ISSN (Print)2190-4782

Fingerprint

Sweden
event
software

Keywords

  • VerifyThis
  • Program verification

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: Karlsruhe Institute of Technology. https://doi.org/10.5445/ir/1000077160
Huisman, Marieke ; Monahan, Rosemary ; Müller, Peter ; Mostowski, Wojciech ; Ulbrich, Mattias. / VerifyThis 2017 : A Program Verification Competition. Karlsruhe : 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",
keywords = "VerifyThis, Program verification",
author = "Marieke Huisman and Rosemary Monahan and Peter M{\"u}ller and Wojciech Mostowski and Mattias 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, Karlsruhe. https://doi.org/10.5445/ir/1000077160

VerifyThis 2017 : A Program Verification Competition. / Huisman, Marieke; Monahan, Rosemary; Müller, Peter; Mostowski, Wojciech; Ulbrich, Mattias.

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

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - VerifyThis 2017

T2 - A Program Verification Competition

AU - Huisman, Marieke

AU - Monahan, Rosemary

AU - Müller, Peter

AU - Mostowski, Wojciech

AU - Ulbrich, Mattias

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

KW - VerifyThis

KW - Program verification

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

CY - Karlsruhe

ER -

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