Bormer, Thorsten and Brockschmidt, Marc and Distefano, Dino and Ernst, Gidon and Filliâtre, Jean-Christophe and Grigore, Radu and Huisman, Marieke and Klebanov, Vladimir and Marché, Claude and Monahan, Rosemary and Mostowski, Wojciech and Polikarpova, Nadia and Scheben, Christoph and Schellhorn, Gerhard and Tofan, Bogdan and Tschannen, Julian and Ulbrich, Mattias (2012) The COST IC0701 Verification Competition 2011. Lecture Notes in Computer Science, 7421. pp. 3-21. ISSN 0302-9743

Preview

Download (371kB) | Preview

Abstract

This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different challenges that were posed and the solutions developed by the teams. We conclude with a discussion about the value of such competitions and lessons learned from them.

Item Type:	Article
Additional Information:	From Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011 Turin, Italy, October 5-7, 2011 Revised Selected Papers
Keywords:	Symbolic Execution; Proof Tree; Separation Logic; Dynamic Frame; Loop Invariant;
Academic Unit:	Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute
Item ID:	15585
Identification Number:	https://doi.org/10.1007/978-3-642-31762-0_2
Depositing User:	Rosemary Monahan
Date Deposited:	28 Feb 2022 14:28
Journal or Publication Title:	Lecture Notes in Computer Science
Publisher:	Springer Verlag
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