邵晶波 王海霞 王戟 杨志 马麟 牛英山 邓雨春 陈云霁 龙望宁 郑晓娟 李暾 邵明 邓延军 王红 陈火旺 侯建民 吕涛 韩承德 葛海通 张燕军 李宣东 满君丰 边计年 李长云 韩俊刚 李必信 李光辉 邓澍军 郑国梁 郭阳

PHDD 模型判别器 有界模型检验 量化 模型检测 增量可满足性 可满足性模理论 反向替换方法 二叉判决图 前像计算 性质 符号模型检查 SAT 决策图 FSM 可达性 字级模型检验 SAT CNF 测试向量自动生成 E-CNF 层次化模型 硬件设计 组合电路 约束分解 极小布尔不可满足子式 模型检验 模型判别 等价性检查 数据控制流图 布尔可满足性问题