VerifyThis 2015: A program verification competition

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
14 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 languageEnglish
Pages (from-to)763–771
Number of pages9
JournalInternational journal on software tools for technology transfer
Volume19
Issue number6
DOIs
Publication statusPublished - Oct 2016

Keywords

  • Deductive verification
  • Program verification tools
  • Competition
  • VerifyThis

Cite this

Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary ; Tautschnig, Michael. / VerifyThis 2015 : A program verification competition. In: International journal on software tools for technology transfer. 2016 ; Vol. 19, No. 6. pp. 763–771.
@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 = "10",
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",

}

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

In: International journal on software tools for technology transfer, Vol. 19, No. 6, 10.2016, p. 763–771.

Research output: Contribution to journalArticleAcademicpeer-review

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

VL - 19

SP - 763

EP - 771

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

SN - 1433-2779

IS - 6

ER -