Skip to main content
Conference ProceedingsOPEN ACCESS

Competition on software verification (SV-COMP)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012) 7214 LNCS 504-524
DOI: 10.1007/978-3-642-28756-5_38
77Citations
Citations of this article
21Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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). © 2012 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Beyer, D. (2012). Competition on software verification (SV-COMP). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7214 LNCS, pp. 504–524). https://doi.org/10.1007/978-3-642-28756-5_38

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free