朱利 石莲 郝忠孝 李莹 王正宇 钟珞 李远杰 刘磊 曾明 刘万伟 吕帅 胡煜 陈火旺 王戟 夏红霞

面向对象 可满足性 空值环境 通信顺序进程 D公理 代数规格说明 conformant规划 时序逻辑 元组 通信事件 最小化 模态逻辑 分布式系统 强保持 软件测试 弱保持 Game理论 测试用例 谓词演算 模态μ-演算 保持函数依赖集 迹集合 自动推理