樊建平 李晓维 曹天杰 李华伟 杨修涛 胡瑜 刘领一 鲁巍 韩银和 赵阳

功能验证 电信管理网 布尔可满足性问题 可观测性 协议 激励生成 Boolean可满足性问题（SAT） 通信 无界模型检验 形式验证 网络管理 计算机 专家系统 扫描链平衡 有限自动机 模拟验证 策略 电路结构 自动化测试激励生成 网络安全 紧急指针 前像计算 模拟 错误模型 粒子群优化算法 可观测性语句覆盖准则 覆盖准则 寄存器传输级（RTL） 隐蔽通道 设计验证

中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所 中国科学院研究生院北京 中国科学院研究生院 北京100080中国科学院研究生院北京 中国科学院计算技术研究所计算机先进测试技... 中国科学院计算技术研究所信息网络室 中国科学院计算技术研究所计算机先进测试技...