Search
Now showing items 1-2 of 2
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)
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) ...
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
(Technische Universität Dresden, 2021)
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 ...