概率模型检测器 Storm（扩展摘要）
软件工程
2016-10-30 v1 计算机科学中的逻辑
数学软件
摘要
我们提出一个新的概率模型检测器 Storm。利用最先进的库，我们旨在实现高性能和多功能性。本扩展摘要简要概述 Storm 的特性。
引用
@article{arxiv.1610.08713,
title = {The Probabilistic Model Checker Storm (Extended Abstract)},
author = {Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
journal= {arXiv preprint arXiv:1610.08713},
year = {2016}
}
备注
Extended abstract