Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary and Tautschnig, Michael (2017) VerifyThis 2015: A program verification competition. International Journal on Software Tools for Technology Transfer, 19 (6). pp. 763-771. ISSN 1433-2779

Preview

Download (463kB) | Preview

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.

Item Type:	Article
Keywords:	Deductive verification; Program Verification Tools; Competition; VerifyThis;
Academic Unit:	Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute
Item ID:	11671
Identification Number:	https://doi.org/10.1007/s10009-016-0438-x
Depositing User:	Rosemary Monahan
Date Deposited:	12 Nov 2019 12:38
Journal or Publication Title:	International Journal on Software Tools for Technology Transfer
Publisher:	Springer
Refereed:	Yes
URI:	Publisher
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads