Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Authors: Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler
Paper Information
| Title: | Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions |
| Authors: | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Probabilistic programs, Quantitative verification, Program equivalence, Denotational semantics, Generating functions |
| Pages: | 21 |
| Talk: | Aug 07 09:40 (Session 85A: Formal Methods for Probabilistic Programs) |
| Paper: |  |