Forschende
2 Treffer mit Thema „Softwareverifikation" in Juristische Fakultät, Mathematisch-Naturwissenschaftliche Fakultät, Philosophische Fakultät · Themen-Filter entfernen
DV
Thomas Vogel forscht an automatisierten Verfahren zur Testfallgenerierung und Programmreparatur in der Softwareentwicklung.
2Projekte
PP
PD Dr. Popova-Zeugmann erforscht die formale Modellierung und Verifikation von verteilten, zeitabhängigen Systemen mittels Petri-Netzen — insbesondere wie man durch Prioritäten und Zeitbeschränkungen das Verhalten solcher Netze kontrolliert und stabilisiert.
1Projekte