Parameter Synthesis for Markov Models: Prophesy and model files

Zenodo (CERN European Organization for Nuclear Research)

Abstract

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.

Authors 7

1. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University, Nijmegen, The Netherlands

2. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

3. Christian Hensel Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

4. Nils Jansen

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University, Nijmegen, The Netherlands

5. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

6. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

7. Matthias Volk

   University of Twente

   Affiliation as printed

   University of Twente, Enschede, The Netherlands