Bounded model checking for probabilistic programs

DOI10.1007/978-3-319-46520-3_5zbMath1398.68343arXiv1605.04477MaRDI QIDQ1990501

Joost-Pieter Katoen, Nils Jansen, Benjamin Lucien Kaminski, Christian Dehnert, Lukas Westhofen

Publication date: 25 October 2018

Full work available at URL: https://arxiv.org/abs/1605.04477

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)