Personal tools

Combination of Methods

From PUMA Graduiertenkolleg

Revision as of 12:59, 5 June 2008 by Lange (talk | contribs) (Topics)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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