The 1st Verified Software Competition: Experience Report

Reviewed Paper In Proceedings

Author(s):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, and Benjamin Weiß
In:17th International Symposium on Formal Methods (FM 2011)
Publisher:Springer
Series:LNCS
Volume:6664
Year:2011
Pages:154-168
Preprint/PDF:vscomp2010.pdf
DOI:10.1007/978-3-642-21437-0_14
Links:

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.

Note

This paper has been awarded the best paper award.

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 = {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}
}