边计年 朱明 古天龙 邵明 郭建 吴为民 韩俊刚 李光辉 张勐 李晓维

特性 协同验证 不完全Kripke结构 装配序列规划 模态转移系统 数据通路 模拟 可满足性 谓词逻辑 验证 三值逻辑 迁移关系 时态逻辑 数据控制流图 寄存器传输级 规划领域定义语言 二叉判定图 约束满足问题