VerifyThis 2015: A program verification competition

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

Abstract

VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 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 and some ideas and thoughts for future instalments of VerifyThis.
Original languageUndefined
Pages (from-to)1-9
Number of pages9
JournalInternational journal on software tools for technology transfer
Volumeoneline pre-publication
DOIs
StatePublished - Oct 2016

Keywords

  • IR-104406
  • EWI-27669

Cite this

Huisman, M., Klebanov, V., Monahan, R., & Tautschnig, M. (2016). VerifyThis 2015: A program verification competition. oneline pre-publication, 1-9. DOI: 10.1007/s10009-016-0438-x

Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary; Tautschnig, Michael / VerifyThis 2015: A program verification competition.

Vol. oneline pre-publication, 10.2016, p. 1-9.

Research output: Scientific - peer-reviewArticle

@article{1f073a388225455d8df62fb83acb8816,
title = "VerifyThis 2015: A program verification competition",
abstract = "VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 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 and some ideas and thoughts for future instalments of VerifyThis.",
keywords = "IR-104406, EWI-27669",
author = "Marieke Huisman and Vladimir Klebanov and Rosemary Monahan and Michael Tautschnig",
note = "Open access",
year = "2016",
month = "10",
doi = "10.1007/s10009-016-0438-x",
volume = "oneline pre-publication",
pages = "1--9",

}

Huisman, M, Klebanov, V, Monahan, R & Tautschnig, M 2016, 'VerifyThis 2015: A program verification competition' vol oneline pre-publication, pp. 1-9. DOI: 10.1007/s10009-016-0438-x

VerifyThis 2015: A program verification competition. / Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary; Tautschnig, Michael.

Vol. oneline pre-publication, 10.2016, p. 1-9.

Research output: Scientific - peer-reviewArticle

TY - JOUR

T1 - VerifyThis 2015: A program verification competition

AU - Huisman,Marieke

AU - Klebanov,Vladimir

AU - Monahan,Rosemary

AU - Tautschnig,Michael

N1 - Open access

PY - 2016/10

Y1 - 2016/10

N2 - VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 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 and some ideas and thoughts for future instalments of VerifyThis.

AB - VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 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 and some ideas and thoughts for future instalments of VerifyThis.

KW - IR-104406

KW - EWI-27669

U2 - 10.1007/s10009-016-0438-x

DO - 10.1007/s10009-016-0438-x

M3 - Article

VL - oneline pre-publication

SP - 1

EP - 9

ER -

Huisman M, Klebanov V, Monahan R, Tautschnig M. VerifyThis 2015: A program verification competition. 2016 Oct;oneline pre-publication:1-9. Available from, DOI: 10.1007/s10009-016-0438-x