何锫 陈意云 田波 王灿明 张昱 陶荣 江苏苏州215123 梁红瑾 项森 华保健 李兆鹏 林春晓 葛琳 王志芳 刘诚 王伟 黄道昌 马竹根

软件安全 并行验证 程序验证 符号回归 指针逻辑 前（后）条件 程序设计中的逻辑 形式规范 语言设计 OOP（面向对象的程序设计） 出具证明编译器 携带证明的代码 汇编代码验证 携带证明的汇编程序 指针分析 类型系统 循环不变式 遗传规划 形式化方法 依赖分析 基因表达式编程 软件安全 出具证明的编译器

软件安全