基于Stuttering等价技术的有界模型检测的优化

• 作者: 张浩军 张银丹
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 有界模型检测 转换公式 Stuttering等价 优化
• 年，卷（期）: 2010,（7）
• 页码范围: 104-107,142
• 分类号: TP393.08
• 字数: 4292字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.07.029

摘要

在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化.通过在LTL有界模型检测中引入Stuttering等价技术,对状态转换路径优化,避免了SAT求解工具在有界Stuttering等价路径中的重复搜索.以安全系统验证为例,通过两个重要的模态算子G(p)和G(p→F(q)),验证优化方法,实验结果表明,该方法有效地提高了对安全系统保密性和认证性验证的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张浩军	河南工业大学信息科学与工程学院	65	229	8.0	12.0
2	张银丹	河南工业大学信息科学与工程学院	3	0	0.0	0.0