Project Details
Projekt
Cooperative Software Verification 2
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 behavior. Today, a range of different tools provide 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) options for exchange of information between verification tools and sound usage of such information and (2) techniques for the decomposition of verification tasks to solve them in parallel and by different tools. Based on the results of the first project phase, the project will in particular investigate techniques for enhancing efficiency and effectiveness of cooperative verification as well as improving its usability. The focus of the project remains on the combined development of a methodology and theory of cooperation. All approaches developed in this project will be thoroughly evaluated using experiments on large benchmark sets, and the project will also contribute new benchmark sets to the community.
DFG Programme
Research Grants
