January 24 – 29 , 2021, Event 21043

Probabilistic Verification


Thomas Noll (RWTH Aachen, DE)

For support, please contact

Heike Clemens


Event Schedule (Upload here)

(Use personal credentials as created in DOOR to log in)


Probabilistic verification is a formal approach to modeling and analyzing computerized systems that exhibit stochastic behavior. 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 3.0 DE
  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.