The 1st Verified Software Competition: Extended Experience Report
- 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 ,
- Rustan Leino ,
- Rosemary Monahan ,
- Frank Piessens ,
- Nadia Polikarpova ,
- Tom Ridge ,
- Jan Smans ,
- Stephan Tobies ,
- Thomas Tuerk ,
- Mattias Ulbrich ,
- Benjamin Weiβ
FM'11 Proceedings of the 17th international conference on Formal methods |
FM 2011, Best Paper Award, 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.