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.

Show simple item record

Subtitle: Source Code

Metadata

Additional titleSubtitle: Source Code
Person(s) who is (are) responsible for the content of the research dataMärcker, Steffen - Technische Universität Dresden (ORCID: 0000-0002-2160-2110)
AbstractSource 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 keywordssource code
Languageeng
Year or period of data production2019
Publication year2021
PublisherTechnische Universität Dresden
References on related materialsIsPartOf: 123456789/1889 (Handle)
References on related materialsIsDerivedFrom: https://github.com/prismmodelchecker/prism (URL)
Content of the research dataSoftware: Source code based on PRISM 4.3
Other specification of usage rightsGNU GPLv2
Holder of usage rightsTechnische Universität Dresden
Usage rights of the dataOther
Discipline(s)Computer Sciencede
Title of the datasetPRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates


Files in this item

No Thumbnail [100%x80]
No Thumbnail [100%x80]

This item appears in the following Collection(s)

Show simple item record