Software-intensive Systems

From PUMA Graduiertenkolleg
Jump to navigationJump to search


Besides the development of new, theoretically well founded analysis principles, the doctorate program PUMA aims at the development of practically useful algorithms and tools for the analysis of secure and reliable software-intensive systems.

In this project, we plan to apply the newly developped methods in two ways: on the one hand, for the formalization and/or translation of application models into logic or other formal calculi followed by the analysis of the formal model through our algorithms; on the other hand, by directly adapting our methods to the modelling languages currently used in practice, such as UML BPEL, Java.