侯苏宁 陈晓桦 郑延平 王昭飞 陈火旺 毛晓光 齐治昌 董威 贲可荣 张猛 张鼎兴 吴建平 周俊鹏 刘万伟 张波云 杨学军 王怀民 徐锡山 李树涛 颜炯 王树林 张路 易晓东 邹晓宇 常志明 李留英 陈立前 梅宏 于洋 毛新军

相继式演算 形式验证 组织抽象 Tableau方法 软构件 符号化模型检验 区间分析 状态机 统一建模语言 实时系统 使用链 Caste 支持向量机 软件可靠性 计算树逻辑 并发 部分最强后置条件 依赖关系 区间时序逻辑 B树 测试链 状态爆炸问题 TLA 抽象域 组合验证 Game理论 实时 动态分析 密钥分发中心 MOD分析

国防科技大学计算机学院 湖北武汉 国防科学技术大学计算机学院并行与分布处理... 国防科技大学 武汉大学软件工程国家重点实验室 武汉通信指挥学院 国防科技大学计算机学院研究生队 海军潜艇学院