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.