-
题名面向随机模型检验的模型抽象技术
被引量：2
- 1
-
-
作者
刘阳
李宣东
马艳
-
机构
计算机软件新技术国家重点实验室(南京大学)
Department of computer Science
南京航空航天大学计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第8期1853-1870,共18页
-
基金
国家自然科学基金(61021062
61472179)
+3 种基金
中国博士后科学基金(2013M531328)
山东省自然科学基金(ZR2012FQ013)
山东省高等学校科技计划(J13LN10)
泰安市科技发展计划(201330629)
-
文摘
随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.
-
关键词
随机模型检验
状态空间爆炸
模型抽象
定量抽象精化
-
Keywords
stochastic model checking
state space explosion
model abstraction
quantitative abstraction and refinement
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
