Scope of Workshop

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 of the workshop are:

Call for Abstracts



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