迁移关系的布尔函数表示的优化

• 作者: 张小珍 江建国
• 来源期刊: 软件工程与应用
• 学科: 工学
• 关键词: 符号模型检测 OBDD 迁移关系 布尔函数 等效输入变量
• 年，卷（期）: 2016,（6）
• 页码范围: 319-326
• 页数: 8页
• 分类号: TP30

摘要

符号模型检测中,将迁移关系表示为OBDD的一种较为高效的方法是先借助SMV语言将迁移关系表示为布尔函数,再利用相关算法综合得其OBDD。但在将迁移关系表示为布尔函数时常会遇到两个问题:第一,下一状态取值不确定;第二,具有一定变化规律的非输入变量较多。本文提出等效输入变量的概念,对迁移关系的布尔函数公式的取值条件加以限制,给出了这两个问题的具体解决办法,进而使得迁移关系的布尔函数表示更加准确、高效。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江建国	辽宁师范大学数学学院	17	88	4.0	9.0
2	张小珍	辽宁师范大学数学学院	1	0	0.0	0.0