Home | english  | Impressum | Sitemap | KIT

The 1st Verified Software Competition: Experience Report

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, Benjamin Weiß

Links:
Quelle:

17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland. LNCS 6664, Springer, 2011. Best paper award at FM 2011.

Datum: 2011

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.

BibTeX

@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 = {Proceedings, 17th International Symposium on Formal Methods (FM 2011)},
editor = {Michael Butler and Wolfram Schulte},
volume = {6664},
series = {LNCS},
publisher = {Springer},
year = {2011},
note = {Materials available at \url{www.vscomp.org}.}
}