Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Research Meeting 21225

Quantitative Software Verification

( May 30 – Jun 05, 2021 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:

  • Benjamin Kaminski (University College London, GB)



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.

Copyright Benjamin Kaminski