Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions

Chen, Mingshuai; Katoen, Joost-Pieter; Klinkenberg, Lutz; Winkler, Tobias

(2022)
Contribution to a book, Contribution to a conference proceedings

In: [34th International Conference on Computer Aided Verification, CAV22, 2022-08-07 - 2022-08-10, Haifa, Israel]