The Probabilistic Model Checker Storm: Evaluation Results and Replication Package
收藏数据链接：
官方服务：
资源简介：
This package contains logdata and replication scripts for the evaluation of the model checker Storm (www.stormchecker.org) as part of the paper:<br> "The Probabilistic Model Checker Storm" by Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk
提供机构：
Zenodo创建时间：
2020-09-07
