Current Projects


In ALBIA we develop a fully automatic logic-based information flow analysis. The analysis is based on an on-demand abstraction framework for a program logic calculus.


Envisage is a research project on engineering virtualized services.

The KeY Project

We have developed the KeY tool, which is a commercial tool for object-oriented software development augmented with a prover. The KeY tool allows users to develop guaranteed correct Java Card programs.

Past Projects


Highly Adaptable and Trustworthy Software using Formal Methods, an Integrated Project supported by the 7th Framework Programme of the EC within the FET. In HATS we developed a methodological and tool framework to achieve not merely far-reaching automation in maintaining dynamically evolving software, but an unprecedented level of trust while informal processes are replaced with rigorous analyses based on formal semantics.


COST Action IC0901 is a European scientific cooperation. The main objective is making automated reasoning techniques and tools applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers.


COST Action IC0701 is a European scientific cooperation. The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale.


Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang