Get started
Work

The 1st Verified Software Competition, Extended Experience Report

Year: 2011
Type: conference-paper
Abstract: We, the organizers and participants, report our experiences \nfrom the 1st Veried Software Competition, held in August 2010 in Edinburgh \nat the VSTTE 2010 conference
Authors: Péter Müller, Natarajan Shankar, Gary T. Leavens, Tom Ridge, Thomas Tuerk, Vladimir Klebanov, Mattias Ulbrich, Benjamin Weisse, K. Rustan M. Leino, Roderick Chapman, Rosemary Monahan, Nadia Polikarpova, Derek Bronish, Rob Arthan, Eyad Alkassar, Ernie Cohen, Mark Hillebrand, Stephan Tobies, Bart Jacobs, Frank Piessens, Jan Smans
Institutions: ETH Zurich, SRI International, University of Central Florida, University of Leicester, Karlsruhe Institute of Technology, Microsoft (United States), Praxis, National University of Ireland, Maynooth, Saarland University, KU Leuven
Language: English
Open Access status: green
OpenAlex ID: W334404974
FWCI: 0.242
Cites:
Cited by: 1
Related to: 10