Share and Export
Share and Export
Bormer, Thorsten, Brockschmidt, Marc, Distefano, Dino, Ernst, Gidon, Filliâtre, Jean-Christophe, Grigore, Radu, Huisman, Marieke, Klebanov, Vladimir, Marché, Claude, Monahan, Rosemary, Mostowski, Wojciech, Polikarpova, Nadia, Scheben, Christoph, Schellhorn, Gerhard, Tofan, Bogdan, 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
RM_the COST.pdf
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: | 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 |
| Related URLs: | |
| URI: | https://mu.eprints-hosting.org/id/eprint/15585 |
| 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
