@inproceedings{9c3f0d2deaef49e8962954013afc1a7a,
title = "On the organisation of program verification competitions",
abstract = "In this paper, we discuss the challenges that have to be addressed when organising program verification competitions. Our focus is on competitions for verification systems where the participants both formalise an informally stated requirement and (typically) provide some guidance for the tool to show it. The paper draws its insights from our experiences with organising a program verification competition at FoVeOOS 2011. We discuss in particular the following aspects: challenge selection, on-site versus online organisation, team composition and judging. We conclude with a list of recommendations for future competition organisers.",
keywords = "EWI-22675, IR-83451, METIS-293239",
author = "Marieke Huisman and Vladimir Klebanov and Rosemary Monahan",
year = "2012",
month = jun,
language = "Undefined",
series = "CEUR-WS Proceedings",
publisher = "Sun SITE Central Europe",
pages = "50--59",
editor = "Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe",
booktitle = "1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)",
note = "Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012), Manchester, UK ; Conference date: 01-06-2012",
}