Verifikation

  Programmcode © Martin Braun

Der Fokus dieses Forschungszweiges liegt in der Entwicklung neuer computergestützter Verifikationstechniken für probabilistische Modelle und Programme. Darunter fallen probabilistische hybride Systeme, probabilistisches ModelChecking, Terminierungs- und Laufzeitanalyse von probabilistischen Programmen, Model Repair und  Parametersynthese.