Published March 3, 2023
| Version v1
Dataset
Open
Parameter Synthesis for Markov Models: Prophesy and model files
Authors/Creators
- 1. Radboud University, Nijmegen, The Netherlands
- 2. RWTH Aachen University, Aachen, Germany
- 3. University of Twente, Enschede, The Netherlands
Description
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 ARTEFACT.md.
Files
prophesy_artefact.zip
Files
(159.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:42ae7d67b876f06e891cd65217368f33
|
159.8 MB | Preview Download |