17th International Symposium on Formal Methods (FM 2011), Date: 2011/06/20 - 2011/06/24, Location: Limerick, Ireland
Publication date:
2011-06-20
Volume:
6664
Pages:
154 -
168
ISSN:
9783642214363
Publisher:
Springer
17th International Symposium on Formal Methods (FM 2011)
Author:
Klebanov, Vladimir
Müller, Peter ; Natarajan, Shankar ; Leavens, Gary ; Wüstholz, Valentin ; Alkassar, Eyad ; Arthan, Rob ; Bronish, Derek ; Chapman, Rod ; Cohen, Ernie ; Hillebrand, Mark ; Jacobs, Bart ; Leino, K Rustan M ; Monahan, Rosemary ; Piessens, Frank ; Polikarpova, Nadia ; Ridge, Tom ; Smans, Jan ; Tobies, Stephan ; Tuerk, Thomas ; Ulbrich, Mattias ; Weiss, Benjamin ; Butler, Michael ; Schulte, Wolfram
Keywords:
program verification
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.