The group moved to the university of Oldenburg
You can find us here:
https://uol.de/informatik/formale-methoden
Welcome to the webpage of the research group Wehrheim
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.
