PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates

Abstract

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.