VerifyThis2018: A Program Verification Competition

Marieke Huisman, Rosemary Monahan, Peter Müller, Andrei Paskevich, Gidon Ernst

Research output: Book/ReportReportAcademic

8 Downloads (Pure)

Abstract

VerifyThis 2018 was a two-day program verification competition which took place on April 14 and 15,2018 in Thessaloniki, Greece as part of the European Joint Conferences on Theory and Practice of Software(ETAPS 2018). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2018 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
Publication statusPublished - Jan 2019

Fingerprint

Greece
event
software

Cite this

Huisman, M., Monahan, R., Müller, P., Paskevich, A., & Ernst, G. (2019). VerifyThis2018: A Program Verification Competition.
Huisman, Marieke ; Monahan, Rosemary ; Müller, Peter ; Paskevich, Andrei ; Ernst, Gidon. / VerifyThis2018: A Program Verification Competition. 2019.
@book{c4fd4c231b0743a58ef1b41e7a574deb,
title = "VerifyThis2018: A Program Verification Competition",
abstract = "VerifyThis 2018 was a two-day program verification competition which took place on April 14 and 15,2018 in Thessaloniki, Greece as part of the European Joint Conferences on Theory and Practice of Software(ETAPS 2018). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2018 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 = "Marieke Huisman and Rosemary Monahan and Peter M{\"u}ller and Andrei Paskevich and Gidon Ernst",
year = "2019",
month = "1",
language = "English",

}

Huisman, M, Monahan, R, Müller, P, Paskevich, A & Ernst, G 2019, VerifyThis2018: A Program Verification Competition.

VerifyThis2018: A Program Verification Competition. / Huisman, Marieke ; Monahan, Rosemary; Müller, Peter; Paskevich, Andrei; Ernst, Gidon.

2019.

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - VerifyThis2018: A Program Verification Competition

AU - Huisman, Marieke

AU - Monahan, Rosemary

AU - Müller, Peter

AU - Paskevich, Andrei

AU - Ernst, Gidon

PY - 2019/1

Y1 - 2019/1

N2 - VerifyThis 2018 was a two-day program verification competition which took place on April 14 and 15,2018 in Thessaloniki, Greece as part of the European Joint Conferences on Theory and Practice of Software(ETAPS 2018). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2018 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 2018 was a two-day program verification competition which took place on April 14 and 15,2018 in Thessaloniki, Greece as part of the European Joint Conferences on Theory and Practice of Software(ETAPS 2018). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2018 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.

M3 - Report

BT - VerifyThis2018: A Program Verification Competition

ER -

Huisman M, Monahan R, Müller P, Paskevich A, Ernst G. VerifyThis2018: A Program Verification Competition. 2019.