@INPROCEEDINGS{vscomp2010,
author = {Vladimir Klebanov and Peter M{\"u}ller and Natarajan Shankar and
Gary T. Leavens and Valentin W{\"u}stholz and Eyad Alkassar and Rob
Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark
Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan
and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans
and Stephan Tobies and Thomas Tuerk and Mattias Ulbrich and Benjamin
Wei{\ss}},
title = {The 1st {V}erified {S}oftware {C}ompetition: Experience Report},
booktitle = {17th International Symposium on Formal Methods ({FM} 2011)},
year = {2011},
month = jun,
editor = {Michael Butler and Wolfram Schulte},
volume = {6664},
series = {LNCS},
pages = {154--168},
publisher = {Springer},
note = {This paper has been awarded the best paper award.},
abstract = {We, the organizers and participants, report our experiences from the
1st Verified Software Competition, held in August 2010 in Edinburgh
at the VSTTE 2010 conference.},
doi = {10.1007/978-3-642-21437-0_14},
links = {Materials:http://www.vscomp.org}
}
The 1st Verified Software Competition: Experience Report
| Autor(en): | Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich und Benjamin Weiß |
|---|---|
| In: | 17th International Symposium on Formal Methods (FM 2011) |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 6664 |
| Jahr: | 2011 |
| Seiten: | 154-168 |
| Preprint/PDF: | vscomp2010.pdf |
| DOI: | 10.1007/978-3-642-21437-0_14 |
| Links: | Materials |
Abstract
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
Anmerkung
This paper has been awarded the best paper award.