Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information

Welcome!

The research focus of the group is on model-based development with formal methods. Formal methods are languages for describing software and hardware (specification), which are equipped with a formal mathematical semantics. On the basis of such a description a formal proof of correctness of the system can be carried out (verification). The general objective of such a design technique is the development of high quality systems.

 

 

Hind row (left to right): Steffen Ziegert, Dominik Steenken, Galina Besova Middle row (left to right): Steffen Beringer, Tobias Isenberg, Heike Wehrheim, Sven Walther Front row (left to right): Elisabeth Schlatt, Oleg Travkin, Marie-Christine Jakobs Not present: Julia Krämer, Manuel Töws

The University for the Information Society