Verifikation

  Programmcode Urheberrecht: © 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.