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 …

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 …

Techniques for software verification are typically realized as cohesive units of software with
tightly coupled components. This makes it difficult to re-use components, and the potential …

We give an overview of the development of software model checking, a general approach to
algorithmic program verification that integrates static analysis, model checking, and …

Cooperative software validation aims at having verification and/or testing tools cooperate on
the task of correctness checking. Cooperation involves the exchange of information about …

Theta is a model checking framework based on abstraction refinement algorithms. In SV-
COMP 2022, we introduce: 1) reasoning at the source-level via a direct translation from C …

With the improvement of hardware and algorithms, the main challenge of software model
checking has shifted from pure algorithmic performance toward supporting a wider set of …

Inductive invariant inference is the fundamental problem in program verification, and
specifically in verification of functional programs that use nonlinear recursion and algebraic …