陈宗岳 施小纯 薛锐 吴鹏 张轶 方海 许文 陈靖 刘剑 唐江峻

进程代数 语言S 模型检测 蜕变测试 诊断生成 特殊用例测试 符号互模拟 互模拟 模态图 实时系统 证明图 并发 不动点 变异分析 Tableau 带赋值符号迁移图 随机测试 示例 事件驱动 谓词μ演算 多窗口系统 谓词等式系 谓词m演算 嵌套谓词等式系 π-演算 数据传送 推演完备 μ-演算 函数式语言 复杂数据结构

中国科学院软件研究所计算机科学实验室 中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所计算机科学重点实验室 北京100080中国科学院研究生院 中国科学院软件研究所 中国科学院软件研究所计算机科学开放实验室