The field of formal methods has outgrown the area of academic case studies, and industry is showing serious interest. To make formal software development in an industrial context possible we propose a coherent concept including - besides what is already now state of the art - the deductive verification of concurrent programs, formal methods for model-driven architecture, model-based testing, and the integration of technologies like static program analysis.
DFG Programme
Research Grants