林洪 郑红军 葛琳 冯玉琳 万剑怡 华保健 吕毅 刘诚 孙永强 张乃孝 薛锦云 李兆鹏 倪彬 陈意云 黄涛 姜利

汇编代码验证 形式化技术 二叉判定图 形式化方法 形式验证 半形式化方法 组件JavaBeaus Hoare逻辑 设计模式 JOOADL语言 演绎法 出具证明编译器 前（后）条件 程序综合 符号化 软件工程 混合规范模型 循环结构 模型检查 面向对象技术 硬件设计 规范语言 软件开发过程