任艳颖 陈晓江 刘静 江明月 缪淮扣 冯健 丁佐华 黄卫平 杨琛 王彬 梅宏 林闯 房鼎益 王栋 徐恪 曾红卫 吴建平 范晓勃 林争辉

分布处理 特征冲突 构件组合 并发程序 谓词抽象 反例引导的抽象精化 功能验证模型 基于事务的形式验证 通信系统演算 安全性 模型检验 分解 压缩 过程总结 路由器 连续Petri网 性能分析 下一代通信软件 组合可达性分析 通信有限状态机 系统验证 假定-保证算法 等价关系 软件模型检测 常微分方程 模型检测 随机Petri网 死锁检测 程序重构