基于动态内存和状态管理的模型检测新方法

• 作者: 吴立军 陈清亮 骆翔字
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 形式化方法 模型检测 状态空间爆炸 状态和内存管理
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 人工智能
• 页码范围: 191-195
• 分类号: TP31
• 字数: 4815字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.11.043

摘要

模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈.很多研究人员尽管做了很多相关研究,但仍然没有很好地解决这个问题.在研究动态内存和状态管理的基础上,提出了一种新的模型检测方法,避免了因为内存不足而无法模型检测的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈清亮	暨南大学计算机科学学院	10	50	5.0	7.0
2	吴立军	电子科技大学计算机科学与工程学院	4	45	3.0	4.0
3	骆翔字	清华大学软件学院	1	5	1.0	1.0