PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
Subtitle: Source Code
Metadaten
| Ergänzende Titel | Subtitle: Source Code | |
| Für den Inhalt der Forschungsdaten verantwortliche Person(en) | Märcker, Steffen - Technische Universität Dresden (ORCID: 0000-0002-2160-2110) | |
| Kurzbeschreibung | 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. | |
| Weitere Schlagwörter | source code | |
| Sprache | eng | |
| Entstehungsjahr oder Entstehungszeitraum | 2019 | |
| Veröffentlichungsjahr | 2021 | |
| Herausgeber | Technische Universität Dresden | |
| Referenzen auf ergänzende Materialien | IsPartOf: 123456789/1889 (Handle) | |
| Referenzen auf ergänzende Materialien | IsDerivedFrom: https://github.com/prismmodelchecker/prism (URL) | |
| Inhalt der Forschungsdaten | Software: Source code based on PRISM 4.3 | |
| Eigene Spezifikation der Nutzungsrechte | GNU GPLv2 | |
| Inhaber der Nutzungsrechte | Technische Universität Dresden | |
| Nutzungsrechte des Datensatzes | Other | |
| Angabe der Fachgebiete | Computer Science | de |
| Titel des Datensatzes | PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates |