Erweiterte Suche





Arbeitsgruppe Softwareentwicklung und Verifikation

Prof. Dr. Markus Müller-Olm
Institut für Informatik
Einsteinstraße 62
48149 Münster

Tel.: +49-251-83-33792
Fax: +49-251-83-33755

Software Construction and Verification

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 follow the links at the top of this page.

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

Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90