The group moved to the uni­ver­sity of Olden­burg

You can find us here:

Wel­come to the webpage of the re­search group Wehrheim


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.