Combination of Methods
From PUMA Graduiertenkolleg
In this project, we want to study the concepts and techniques of different approaches to program and model analysis w.r.t. their strengths and weaknesses and explore possibilities for cross-fertilization. This idea also plays an important role within the other projects; there, however, the development of new techniques is subordinated another research goal.