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
|
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: | |
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
Downloads per month over past year