VerifyThis 2016: A Program Verification Competition

Marieke Huisman, Rosemary Monahan, Peter Müller, Erik Poll

Abstract

VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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 languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages6
StatePublished - Jun 2016

Publication series

NameCTIT Technical Report Series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-16-07
ISSN (Print)1381-3625

Fingerprint

competition
Netherlands
conference
theory
program
practice
software

Keywords

  • Program Verification
  • EWI-27060
  • IR-100549
  • Competition
  • METIS-317220

Cite this

Huisman, M., Monahan, R., Müller, P., & Poll, E. (2016). VerifyThis 2016: A Program Verification Competition. (CTIT Technical Report Series; No. TR-CTIT-16-07). Enschede: Centre for Telematics and Information Technology (CTIT).

Huisman, Marieke; Monahan, Rosemary; Müller, Peter; Poll, Erik / VerifyThis 2016: A Program Verification Competition.

Enschede : Centre for Telematics and Information Technology (CTIT), 2016. 6 p. (CTIT Technical Report Series; No. TR-CTIT-16-07).

Research output: ProfessionalReport

@book{b8dbe2be359242bf8f03dad396167e24,
title = "VerifyThis 2016: A Program Verification Competition",
abstract = "VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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 = "Program Verification, EWI-27060, IR-100549, Competition, METIS-317220",
author = "Marieke Huisman and Rosemary Monahan and Peter Müller and Erik Poll",
note = "eemcs-eprint-27060",
year = "2016",
month = "6",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-16-07",
address = "Netherlands",

}

Huisman, M, Monahan, R, Müller, P & Poll, E 2016, VerifyThis 2016: A Program Verification Competition. CTIT Technical Report Series, no. TR-CTIT-16-07, Centre for Telematics and Information Technology (CTIT), Enschede.

VerifyThis 2016: A Program Verification Competition. / Huisman, Marieke; Monahan, Rosemary; Müller, Peter; Poll, Erik.

Enschede : Centre for Telematics and Information Technology (CTIT), 2016. 6 p. (CTIT Technical Report Series; No. TR-CTIT-16-07).

Research output: ProfessionalReport

TY - BOOK

T1 - VerifyThis 2016: A Program Verification Competition

AU - Huisman,Marieke

AU - Monahan,Rosemary

AU - Müller,Peter

AU - Poll,Erik

N1 - eemcs-eprint-27060

PY - 2016/6

Y1 - 2016/6

N2 - VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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 - Program Verification

KW - EWI-27060

KW - IR-100549

KW - Competition

KW - METIS-317220

M3 - Report

T3 - CTIT Technical Report Series

BT - VerifyThis 2016: A Program Verification Competition

PB - Centre for Telematics and Information Technology (CTIT)

ER -

Huisman M, Monahan R, Müller P, Poll E. VerifyThis 2016: A Program Verification Competition. Enschede: Centre for Telematics and Information Technology (CTIT), 2016. 6 p. (CTIT Technical Report Series; TR-CTIT-16-07).