Institut für Theoretische Informatik
This community is open access and publicly accessible.
Sub-communities within this community
Anonymous users may not see all communities or collections. Please log in to see your accessible communities and colletions.
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 ...
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) ...