Das Projekt befasst sich mit der Verifikation der Zuverlässigkeit von Systemen. Wir quantifizieren Korrektheitseigenschaften wie zum Beispiel das Risiko, einen unsicheren Zustand innerhalb einer vorgegebnen Zeit oder innerhalb bestimmter Kosten zu erreichen. Der technische Schwerpunkt liegt auf dem Ausbau und der Verbesserung von Methoden der stochastischen Modellprüfung mit dem Ziel, ein breites Spektrum von zeitdiskreten und zeitkontinuierlichen stochastischen Modellen zu unterstützen. Insbesondere beschäftigen wir uns mit der Prüfung von parametrischen Systemen. Dies ermöglicht es, energie-kritische selbststabilisierende Systeme zu bewerten und zu optimieren.