Personal tools

Combination of Methods

From PUMA Graduiertenkolleg

Jump to: navigation, search


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.