风暴将至：一个现代概率模型检测器
软件工程
2017-02-15 v1
摘要
我们发布了新的概率模型检测器storm。它支持离散时间和连续时间马尔可夫链以及MDP的分析。它支持PRISM和JANI建模语言、概率程序、动态故障树和广义随机Petri网。它具有模块化设置，可以轻松交换求解器和符号引擎。它提供Python API，通过封装storm快速且可扩展的算法来实现快速原型设计。在多种基准测试上的实验显示了其具有竞争力的性能。
引用
@article{arxiv.1702.04311,
title = {A storm is Coming: A Modern Probabilistic Model Checker},
author = {Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
journal= {arXiv preprint arXiv:1702.04311},
year = {2017}
}