The OPARA service was recently upgraded to a new technical platform. You are visiting the outdated OPARA website. Please use https://opara.zih.tu-dresden.de/ for new data submissions. Previously stored data will be migrated in near future and then the old version of OPARA will finally be shut down. Existing DOIs for data publications remain valid.
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 |
![No Thumbnail [100%x80]](data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxvbmU9InllcyI/PjxzdmcgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiB3aWR0aD0iMTI2NCIgaGVpZ2h0PSI4MCIgdmlld0JveD0iMCAwIDEyNjQgODAiIHByZXNlcnZlQXNwZWN0UmF0aW89Im5vbmUiPjxkZWZzLz48cmVjdCB3aWR0aD0iMTI2NCIgaGVpZ2h0PSI4MCIgZmlsbD0iI0VFRUVFRSIvPjxnPjx0ZXh0IHg9IjM1Ny41IiB5PSI0MCIgc3R5bGU9ImZpbGw6I0FBQUFBQTtmb250LXdlaWdodDpib2xkO2ZvbnQtZmFtaWx5OkFyaWFsLCBIZWx2ZXRpY2EsIE9wZW4gU2Fucywgc2Fucy1zZXJpZiwgbW9ub3NwYWNlO2ZvbnQtc2l6ZTo1OXB0O2RvbWluYW50LWJhc2VsaW5lOmNlbnRyYWwiPk5vIFRodW1ibmFpbDwvdGV4dD48L2c+PC9zdmc+)