Supplementary Material https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1889 2026-04-07T03:36:55Z 2026-04-07T03:36:55Z Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation Märcker, Steffen https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1892 2021-03-26T14:16:09Z 2021-01-01T00:00:00Z Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation Märcker, Steffen This dataset contains the model files, queries, experiment setups, raw results and plots of the experiments: 1) analysis of the spinlock protocol, 2) analysis of the PWCS protocol, 3) analysis of the circuit designs for polarity-controllable multiple-gate FETs and 4) performance analysis of the PRISM implementation of conditional probabilities. 2021-01-01T00:00:00Z PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates Märcker, Steffen https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1891 2021-03-26T10:00:55Z 2021-01-01T00:00:00Z PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates Märcker, Steffen 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. 2021-01-01T00:00:00Z