PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
Subtitle: Source Code
Metadata
| Additional title | Subtitle: Source Code | |
| Person(s) who is (are) responsible for the content of the research data | Märcker, Steffen - Technische Universität Dresden (ORCID: 0000-0002-2160-2110) | |
| 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. | |
| Additional keywords | source code | |
| Language | eng | |
| Year or period of data production | 2019 | |
| Publication year | 2021 | |
| Publisher | Technische Universität Dresden | |
| References on related materials | IsPartOf: 123456789/1889 (Handle) | |
| References on related materials | IsDerivedFrom: https://github.com/prismmodelchecker/prism (URL) | |
| Content of the research data | Software: Source code based on PRISM 4.3 | |
| Other specification of usage rights | GNU GPLv2 | |
| Holder of usage rights | Technische Universität Dresden | |
| Usage rights of the data | Other | |
| Discipline(s) | Computer Science | de |
| Title of the dataset | PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates |