一种推广化符号轨迹赋值中伪报错的改进算法

• 作者: 杨国武 郑德生 雷航
• 来源期刊: 微电子学与计算机
• 关键词: 符号化轨迹赋值 推广化符号轨迹赋值 伪报错 形式化验证 模型检验强可满足性
• 年，卷（期）: 2008,（5）
• 页码范围: 207-210
• 页数: 4页
• 分类号: TN407
• 语种: 中文

摘要

介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷航	电子科技大学计算机科学与工程学院	92	1434	17.0	35.0
2	杨国武	电子科技大学计算机科学与工程学院	22	84	4.0	8.0
3	郑德生	电子科技大学计算机科学与工程学院	6	12	2.0	2.0