April 10 – 14 , 2022, Event 22154

Probabilistic Verification


Thomas Noll (RWTH Aachen University, DE)

For support, please contact

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

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.