Towards Light-Weight Probabilistic Model Checking
Towards Light-Weight Probabilistic Model Checking
复制标题
迈向轻量级概率模型检查
DOI：
10.1155/2014/814159
复制
发表时间：
2014
影响因子：
--
通讯作者：
Konur S
中科院分区：
文献类型：
--
作者：
Konur S
模型检验已被广泛用于验证各种系统。然而，这通常是由对模型检查有很好理解的专家完成的，他们熟悉建模和属性规范语言的语法。不幸的是，对于非专家来说，学习建模的描述语言和属性规范的形式逻辑/语言并不是一件容易的事情。特别是，属性规范对于非专家来说非常令人生畏且容易出错。在本文中，我们提出了一种方法，以方便非专家的概率模型检查。该方法可以帮助非专家用户建模他们的系统，并表示他们的要求，没有任何知识的建模和属性规范语言。
Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages. Unfortunately, this is not an easy task for nonexperts to learn description languages for modelling and formal logics/languages for property specification. In particular, property specification is very daunting and error‐prone for nonexperts. In this paper, we present a methodology to facilitate probabilistic model checking for nonexperts. The methodology helps nonexpert users model their systems and express their requirements without any knowledge of the modelling and property specification languages.
登录
查看更多内容
DOI：
10.1016/j.robot.2011.10.005
发表时间：
2012-02
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Savas Konur;C. Dixon;Michael Fisher
通讯作者：
Savas Konur;C. Dixon;Michael Fisher
影响因子：
1.1
作者：
Konur, Savas;Fisher, Michael;Schewe, Sven
通讯作者：
Schewe, Sven
群体机器人系统建模：集体觅食案例研究
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Wenguo Liu;A. Winfield;Jin Sa
通讯作者：
Jin Sa
P Systems 形式验证的集成方法
DOI：
--
发表时间：
2010
期刊：
Int. Conf. on Membrane Computing
影响因子：
--
作者：
M. Gheorghe;F. Ipate;R. Lefticaru;C. Dragomir
通讯作者：
C. Dragomir
走向P系统模型仿真、属性提取和验证的综合方法
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
R. Lefticaru;F. Ipate;L. V. Cabrera;A. Turcanu;C. Tudose;Marian Gheorgue;M. J. P. Jiménez;Ionut;C. Dragomir
通讯作者：
C. Dragomir