zenodoopen
Parameter Synthesis for Markov Models: Prophesy and model files
<p>This artefact contains the Prophesy tool and all model files used for the evaluation in Sect. 11 of the paper "Parameter Synthesis for Markov Models". Further information can be found in the <em>ARTEFACT.md</em>.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0