Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take the form of black-box combinations, exchanging information via externally stored data, or of tightly integrated white-box combinations. Such combinations might include different specific verification techniques as well as combinations of verification with testing or other means of software analysis. Possible topics are:

We welcome all sorts of talks, ranging from new ideas over work in progress to mature (possibly already published) approaches. The main objective of the workshop is to discuss ideas for cooperative verification.

Organizers Dirk Beyer (LMU Munich, Germany), Heike Wehrheim (Universit├Ąt Oldenburg, Germany)