Research Meeting 21225
Quantitative Software Verification
( May 30 – Jun 05, 2021 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/21225
Organizer
- Benjamin Kaminski (University College London, GB)
Contact
- Heike Clemens (for administrative matters)
Impacts
- Quantitative strongest post : a calculus for reasoning about the flow of quantitative information : article - Zhang, Linpeng; Kaminski, Benjamin Lucien - New York : ACM, 2022. - 29 pp. - (Proceedings of the ACM on Programming Languages ; 2022, 6).
- Weighted Programming : A Programming Paradigm for Specifying Mathematical Models - Batz, Kevin; Gallus, Adrian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Winkler, Tobias - Cornell University : arXiv.org, 2022. - 69 pp..
- Weighted programming : A Programming Paradigm for Specifying Mathematical Models : Article - Batz, Kevin; Gallus, Adrian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Winkler, Tobias - New York : ACM, 2022. - 30 pp. - (Proceedings of the ACM on Programming Languages ; 2022, 6).
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.
Creative Commons BY 3.0 DE
Benjamin Kaminski
