刘晓清 王命延 尹传文 胡波 薛锦云 朱宜炳 熊昊 王兵 舒良春 刘俏威 邹芳红 钱钟胜 蔡天舸

非形式化方法 形式化方法 并发系统 启发式搜索 反例 电子商务协议 原子性 事务 统一建模语言 语法重定序 安全协议 Java路径探测器 模型检测 两阶段提交 SPIN 时态逻辑 SPINPromela 深度优先搜索 分布式数据库

南昌大学计算中心 南昌大学信息工程学院 江西南昌 江西南昌330027中国科学院软件研究所... 中国科学院软件研究所 江西南昌330027南昌大学计算中心江西... 江西师范大学计算机信息工程学院