PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
Subtitle: Source Code
Zusammenfassung
Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis:
1) implementation of methods for conditional probabilities and expectations,
2) implementation of relativized (conditional) long-run averages,
3) implementation of cumulative updates, and
4) various general enhancements and bug fixes.
URI
https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1891http://dx.doi.org/10.25532/OPARA-110