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.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Bildinformationen anzeigen

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

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): Jan Haltermann, Manuel Töws, Elisabeth Schlatt, Oleksandra Koslova Middle row (left to right): Cedric Richter, Heike Wehrheim, Felix Pauck Front row (left to right): Arnab Sharma, Jürgen König, Steffen Beringer
Sie interessieren sich für:

Die Universität der Informationsgesellschaft