Project Details
Projekt
Cooperative Software Verification
Subject Area
Software Engineering and Programming Languages
Term
since 2019
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 418257054
The aim of software verification is the assurance of high-quality software, in particular absence of unintended and erroneous behaviour.Today, a range of different tools provides software-analysis techniques, covering the whole area from static and dynamic analysis to model checking. All of these techniques have their individual strengths and weaknesses. The goal of this research project is the enhancement of precision and performance in software verification by cooperation between different verification tools and techniques. Cooperative software verification requires (1) to enable exchange of information between verification tools and sound usage of such information, and (2) to learn how and when to cooperate. Cooperation targets the division of labor to have every technology work on the tasks it is best at, but also aims at the increase of trust in the soundness of the analysis by having tools mutually check their results. The objective of our project is the development of a practical methodology of cooperative software verification based on a provably sound theory of cooperation. Our methodology targets safety verification.
DFG Programme
Research Grants
