Forschungstreffen 21225
Quantitative Software Verification
( 30. May – 05. Jun, 2021 )
(zum Vergrößern in der Bildmitte klicken)
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/21225
Organisator
- Benjamin Kaminski (University College London, GB)
Kontakt
- Heike Clemens (für administrative Fragen)
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
