侯苏宁 陈晓桦 郑延平 王昭飞 陈火旺 毛晓光 齐治昌 董威

相继式演算 形式验证 组织抽象 Tableau方法 软构件 符号化模型检验 区间分析 状态机

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