Software Construction and Verification

Müller-Olm Group

Welcome to the Software Construction and Verification Group at Institut für Informatik of Fachbereich Mathematik und Informatik of Westfälische Wilhelms-Universität Münster. We study systematic methods for design, implementation, and validation of software systems. Main topic of our current research are formal methods for verification and analysis of software systems. The courses offered by our group range from lectures on semantics and verification to applied software engineering. In order to learn more about our work please use the menu.

For latest news please visit the German version of this page.