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


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.