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:
- Combining testing and verification
- Combining theorem proving and testing or verification
- Selection of components in a cooperative verification
- Interfaces and exchange formats
- Modularization of existing approaches
- Portfolio approaches
- Languages for specifying cooperation
Call for Abstracts
TBA
Organizers
Dirk Beyer (LMU Munich, Germany)
Heike Wehrheim (Universität Oldenburg, Germany)