Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary
On the Organisation of Program Verification Competitions.
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873.
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
||Program Verification Competitions;
||Science & Engineering > Computer Science
||24 Sep 2012 15:39
|Journal or Publication Title:
||Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems
Repository Staff Only(login required)
||Item control page