VerifyThis 2015: A program verification competition

Marieke Huisman; Vladimir Klebanov; Rosemary Monahan; Michael Tautschnig

doi:10.1007/s10009-016-0438-x

VerifyThis 2015: A program verification competition

Marieke Huisman^*, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

6 Citations (Scopus)

139 Downloads (Pure)

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 language	English
Pages (from-to)	763–771
Number of pages	9
Journal	International journal on software tools for technology transfer
Volume	19
Issue number	6
DOIs	https://doi.org/10.1007/s10009-016-0438-x
Publication status	Published - Oct 2016

Keywords

Deductive verification
Program verification tools
Competition
VerifyThis

Access to Document

10.1007/s10009-016-0438-xLicence: CC BY

Huisman2017verifyFinal published version, 325 KBLicence: CC BY

Cite this

@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 = "Deductive verification, Program verification tools, Competition, VerifyThis",

author = "Marieke Huisman and Vladimir Klebanov and Rosemary Monahan and Michael Tautschnig",

year = "2016",

month = oct,

doi = "10.1007/s10009-016-0438-x",

language = "English",

volume = "19",

pages = "763–771",

journal = "International journal on software tools for technology transfer",

issn = "1433-2779",

publisher = "Springer",

number = "6",

}

TY - JOUR

T1 - VerifyThis 2015

T2 - A program verification competition

AU - Huisman, Marieke

AU - Klebanov, Vladimir

AU - Monahan, Rosemary

AU - Tautschnig, Michael

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 - Deductive verification

KW - Program verification tools

KW - Competition

KW - VerifyThis

U2 - 10.1007/s10009-016-0438-x

DO - 10.1007/s10009-016-0438-x

M3 - Article

SN - 1433-2779

VL - 19

SP - 763

EP - 771

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

IS - 6

ER -

VerifyThis 2015: A program verification competition

Abstract

Keywords

Access to Document

Fingerprint

Cite this