This seminar studies topics from our research area combination of
verification approaches, especially we look into cooperative
verification approaches. Cooperative verification approaches aim at
leveraging the strengths of different verification approaches. We
consider three types of cooperative verification approaches: (1)
testification of alarms, (2) distribution of verification effort, and
(3) algorithmic integration of different verification approaches.
The
goal of alarm testification is the reduction of false alarms and to
focus on alarms that can be reproduced by a real test. To
distribute the verification effort among different verification
approaches, different parts of the verification (e.g., program paths)
need to be inspected by distinct verification tools. Often, sequential
combinations are used in which the follow-up tool only inspects the
remaining proof obligations. The algorithmic integration of
different verification approaches idea is to develop new verification
algorithms that use existing verification approaches as components.
Under the guidance of your supervisor you will
- use the given literature and search for additional literature to become acquainted with your topic,
- prepare and give a presentation about your topic and afterwards discuss the topic with the other participants,
- write a scientific report, which provides a summary of your topic.
- Dozent*in: Marie-Christine Jakobs