The 1st Verified Software Competition, Extended Experience Report

Authors :: Muller, Peter
Shankar, Natarajan
Leavens, Gary T.
Ridge, Tom
Tuerk, Thomas
Klebanov, Vladimir
Ulbrich, Mattias
Weisse, Benjamin
Leino, K. Rustan M.
Chapman, Rod
Monahan, Rosemary
Polikarpova, Nadia
Bronish, Derek
Arthan, Rob
Alkassar, Eyad
Cohen, Ernie
Hillebrand, Mark
Tobies, Stephan
Jacobs, Bart
Piessens, Frank
Smans, Jan
Muller, Peter
Shankar, Natarajan
Leavens, Gary T.
Ridge, Tom
Tuerk, Thomas
Klebanov, Vladimir
Ulbrich, Mattias
Weisse, Benjamin
Leino, K. Rustan M.
Chapman, Rod
Monahan, Rosemary
Polikarpova, Nadia
Bronish, Derek
Arthan, Rob
Alkassar, Eyad
Cohen, Ernie
Hillebrand, Mark
Tobies, Stephan
Jacobs, Bart
Piessens, Frank
Smans, Jan
Publication Year :: 2011
Abstract: We, the organizers and participants, report our experiences from the 1st Veried Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference

Database :: OAIster
Notes :: application/pdf, Muller, Peter and Shankar, Natarajan and Leavens, Gary T. and Ridge, Tom and Tuerk, Thomas and Klebanov, Vladimir and Ulbrich, Mattias and Weisse, Benjamin and Leino, K. Rustan M. and Chapman, Rod and Monahan, Rosemary and Polikarpova, Nadia and Bronish, Derek and Arthan, Rob and Alkassar, Eyad and Cohen, Ernie and Hillebrand, Mark and Tobies, Stephan and Jacobs, Bart and Piessens, Frank and Smans, Jan (2011) The 1st Verified Software Competition, Extended Experience Report. In: FM 2011: 17th International Symposium on Formal Methods, June 20-24 2011, Limerick. (Unpublished), English
Publication Type :: Electronic Resource
Accession number :: edsoai.on1290825955
Document Type :: Electronic Resource