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

• 作者: 吴立军 骆翔宇
• 来源期刊: 计算机应用研究
• 关键词: 形式化方法 模型检测 状态空间爆炸 状态和内存管理
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2164-2167,2183
• 分类号: TP31
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.06.045

摘要

在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴立军	电子科技大学计算机科学与工程学院	4	45	3.0	4.0
2	骆翔宇	清华大学软件学院	6	66	4.0	6.0