The group mo­ved to the uni­ver­si­ty of Ol­den­burg

You can find us here:
https://uol.de/informatik/formale-methoden

Wel­co­me to the web­pa­ge of the re­sea­rch group Wehr­heim

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.