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.