https://opara.zih.tu-dresden.de/xmlui/handle/123456789/574 2026-04-06T04:26:43Z https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1892 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 https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1891 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