3rd Intl. Competition on Software Verification held at TACAS 2014 in Grenoble, France.

The results of the 2014 competition are available in the competition report.

New: SV-COMP 2014 is presented at the FLoC Olympic Games.

Motivation

Competition is a driving force for the invention of new methods, technologies, and tools. This web page describes the competition of software-verification tools, which will take place at TACAS.

There are several new and powerful software-verification tools around, but they are very difficult to compare. The reason is that so far no widely distributed benchmark suite of verification tasks was available and most concepts are only validated in research prototypes. This competition has changed this: Now there is an established set of verification tasks for comparing software verifiers, and the tools are publicized on the SV-COMP web site.

Only few projects aim at producing stable tools that can be used by people outside the respective development groups, and the development of such tools is not continuous. Also, PhD students and PostDocs do not adequately benefit from tool development because theoretical papers count more than papers that present technical contributions, like tool papers. Through its visibility, this competition wants to change this, showing off the latest implementation of the research results in our community, and give credits and benefits to researchers and students who spend considerable amounts of time developing verification algorithms and software packages.

Goals of the Competition

Contact

For questions about the competition, this web page, the benchmarks, or the organization of the competition, please contact the competition chair: Dirk Beyer, University of Passau.

For discussion of topics of broad interest that are related to the competition on software verification, please consider posting on our mailing list: sv-comp@googlegroups.com.
Web archive: https://groups.google.com/forum/#!forum/sv-comp

Sponsors

SV-COMP 2014 is sponsored by the University of Passau (Software Systems Lab), Germany and Microsoft Research, UK.

Logo Logo MSR