Combination of Methods

From PUMA Graduiertenkolleg
Jump to navigationJump to search

Summary

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.

Topics