10. – 14. April 2022, Event 22154

Probabilistic Verification


Thomas Noll (RWTH Aachen University, DE)

Auskunft zu diesem Event erteilt

Heike Clemens


Probabilistic verification is a formal approach to modelling and analysing computerised systems that exhibit stochastic behaviour. It aims to ensure trustworthiness properties of such systems, such as correctness, safety, or reliability, by means of rigorous, mathematics-based techniques. It is typically applied in domains that exhibit complex interactions between subsystems and that are often safety critical, including autonomous driving, communication protocols, medical devices, power plants, and railway or aerospace control systems.

The goal of this seminar is to discuss the state-of-the-art in specific areas of probabilistic verification such as

  • efficient probabilistic model checking methods,
  • automated analysis and verification of probabilistic programs,
  • objective-driven parameter synthesis for Markov models, or
  • analysis of dynamic fault trees

Motivation text license
  Creative Commons BY 4.0
  Thomas Noll

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.