软件模型检测新技术研究

• 作者: 化志章 吴传孙 揭安全 薛锦云
• 来源期刊: 科技与创新
• 关键词: 软件模型检测 形式验证 SLAM
• 年，卷（期）: 2007,（36）
• 所属期刊栏目: 软件时空
• 页码范围: 250-251,311
• 页数: 3页
• 分类号: TP301.1
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.36.099

摘要

软件模型检测以其潜在的商业价值一直为学术界和工业界关注.本文通过剖析模型检测工具SLAM,探讨软件模型检测的机理、方法及若干核心技术,并总结出软件模型检测的一些新策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴传孙	江西师范大学计算机信息工程学院	5	100	3.0	5.0