The Probabilistic Model Checker Storm (Extended Abstract).

Christian Dehnert,Sebastian Junges,Joost-Pieter Katoen,Matthias Volk

arXiv: Software Engineering（2016）

引用 26|浏览45

暂无评分

摘要

We present a new probabilistic model checker Storm. Using state-of-the-art libraries, we aim for both high performance and versatility. This extended abstract gives a brief overview of the features of Storm.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要