Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/297785
Display more detailsDisplay less details
Organization
Software Science
Audience(s)
Computer science
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
