Scholarlink

Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Riding the Storm in a Probabilistic Model Checking Landscape

  • 章节

  • 发表日期：

    2025年

查看全文
  • Christian Hensel,
  • Sebastian Junges,
  • Tim Quatmann,
  • Matthias Volk

摘要

Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.