The 13th edition of the Competition on Software Verification (SV-COMP 2024) was the
largest competition of its kind so far: A total of 76 tools for verification and witness validation …

The 12th edition of the Competition on Software Verification (SV-COMP 2023) is again the
largest overview of tools for software verification, evaluating 52 verification systems from 34 …

The 11th edition of the Competition on Software Verification (SV-COMP 2022) provides the
largest ever overview of tools for software verification. The competition is an annual …

Deductive software verification aims at formally verifying that all possible behaviors of a
given program satisfy formally defined, possibly complex properties, where the verification …

SV-COMP 2021 is the 10th edition of the Competition on Software Verification (SV-COMP),
which is an annual comparative evaluation of fully automatic software verifiers for C and …

Abstract Evaluation of scientific contributions can be done in many different ways. For the
various research communities working on the verification of systems (software, hardware, or …

This report describes the 2017 Competition on Software Verification (SV-COMP), the 6^ th
edition of the annual thorough comparative evaluation of fully-automatic software verifiers …

CPAchecker is a versatile framework for software verification, rooted in the established
concept of configurable program analysis. Compared to the last published system …

There is no silver bullet for software verification: Different techniques have different
strengths. Thus, it is imperative to combine the strengths of verification tools via …

This report describes the 2019 Competition on Software Verification (SV-COMP), the 8^ th
edition of a series of comparative evaluations of fully automatic software verifiers for C …