董荣胜 陈韬略 梁冰 胡山立 吕建 周娇蓉 刘芳 舒良春 何凡 赵振西 胡克瑾 胡燕 李忠慧 王平 万良 赖贤伟 张海宾 张焕国 熊昊 龚育昌 左春华 孙军梅 刘俏威 汪红 梅萌 李样 朱可宜 王飞明 韩婷婷 徐中伟

有穷系统 启发式搜索 协议验证 信念 并发模型 时态逻辑 时序约束 命题投影时序逻辑 一致性 统一逻辑框架 Kripke结构 可计算性与判定性 时序逻辑 一致性测试 分析 内存泄漏 时间自动机网络 SPIN 混合分析技术 知识 反例 计算树逻辑 形式验证 语法重定序 Java路径探测器 实时性验证 安全性验证 BPEL4WS 运行模式分析法 逻辑推证