The goal of cooperative verification is to combine verification approaches in such a way that
they work together to verify a system model. In particular, cooperative verifiers provide …

Algorithm selection is the task of choosing an algorithm from a given set of candidate
algorithms when faced with a particular problem instance. Algorithm selection via machine …

Software verification is the concept of determining, given an input program and a
specification, whether the input program satisfies the specification or not. There are different …

Ranged symbolic execution has been proposed as a way of scaling symbolic execution by
splitting the task of path exploration onto several workers running in parallel. The split is …

We study empirical metrics for software source code, which can predict the performance of
verification tools on specific types of software. Our metrics comprise variable usage patterns …

Today, software verification tools have reached the maturity to be used for large scale
programs. Different tools perform differently well on varying code. A software developer is …

This paper reviews the seemingly inevitable trend that software tools are no longer just a
means for supporting the design, construction, and analysis of (large-scale) systems, but …

Many program verification tools can be customized via run-time configuration options that
trade off performance, precision, and soundness. However, in practice, users often run tools …

Today, a plethora of different software verification tools exist. When having a concrete
verification task at hand, software developers thus face the problem of algorithm selection …

RERS is an annual verification challenge that focuses on LTL and reachability properties of
reactive systems. In 2017, RERS was extended to a one day workshop that in addition to the …