TY - CONF
AU - Beyer, Dirk
ED - Flanagan, Cormac
ED - König, Barbara
PY - 2012
DA - 2012//
TI - Competition on Software Verification
BT - Tools and Algorithms for the Construction and Analysis of Systems
SP - 504
EP - 524
PB - Springer Berlin Heidelberg
CY - Berlin, Heidelberg
AB - This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This year’s competition is organized as a satellite event of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
SN - 978-3-642-28756-5
ID - 10.1007/978-3-642-28756-5_38
ER -