Labor für Softwareverifikation

Die zunehmende Komplexität und der allgegenwärtige Einsatz von IT-Systemen erfordert den effektiven Einsatz etablierter- wie auch die Entwicklung neuer Ansätze, um das zuverlässige Funktionieren moderner Systeme mit hoher Wahrscheinlichkeit zu gewährleisten.
Am Labor für Softwareverifikation befassen wir uns sowohl mit klassischen Testverfahren als auch mit formalen Ansätzen, welche es erlauben über die Überprüfung bestimmter Szenarien hinaus allgemeine Eigenschaften eines gegebenen Systems zu bestimmen.

Lehre Bachelor Informatik

Theoretische Informatik
Softwarezuverlässigkeit

Lehre Master Informatik

Programmanalyse
Programmverifikation
Model Checking
Compilerbau

Team

Prof. Dr. Moritz Sinn
Julian Winter, M.Sc.

Anschrift

FH Münster
Fachbereich Elektrotechnik und Informatik
Labor für Softwareverifikation
Stegerwaldstraße 39
48565 Steinfurt

Um unsere Webseite für Sie optimal zu gestalten und fortlaufend verbessern zu können, verwenden wir Cookies. Weitere Informationen finden Sie in unserer Datenschutzerklärung.

Seite drucken