May 30 – June 5 , 2021, Event 21225

Quantitative Software Verification


Benjamin Kaminski (University College London, GB)

For support, please contact

Heike Clemens


Dagstuhl's Impact: Documents available


We develop calculi for quantitative verification of software systems. In particular, we will investigate calculi for verifying (a) amortized expected runtimes of probabilistic programs, (b) properties of generalized probabilistic programs, and (c) quantitative properties of deterministic programs in a strongest-postcondition-style.

Motivation text license
  Creative Commons BY 3.0 DE
  Benjamin Kaminski

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.