Parameter Synthesis for Markov Models: Prophesy and model files

  • Sebastian Junges (Creator)
  • Erika Ábrahám (Creator)
  • Christian Hensel (Creator)
  • Nils Jansen (Creator)
  • Joost-Pieter Katoen (Creator)
  • Tim Quatmann (Creator)
  • Matthias Volk (Creator)

Dataset

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.
Date made available3 Mar 2023
PublisherZenodo

Access Dataset

Cite this