软件模型检测中状态爆炸问题的解决方法

• 作者: 屈媛媛 杜伊
• 来源期刊: 现代计算机：中旬刊
• 学科: 工学
• 关键词: 状态空间爆炸 模型检测 文献综述
• 年，卷（期）: 2017,（1）
• 页码范围: 35-38
• 页数: 4页
• 分类号: TP301

摘要

在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜伊	四川大学计算机学院	6	4	2.0	2.0
2	屈媛媛	四川大学计算机学院	4	3	1.0	1.0