郑建丹 马华东 郑茂松 缪旭 阎安 张文亮 李新 骆华俊 徐雨波 朱雪阳 赵琛 郭亮 刘春明 晏荣杰 闫安 李广元 何锫

同步器 三机冗余 描述层次 性质验证 形式化语义 精化 基于迁移的扩展Büchi自动机 动态语义 求精 验证 交互端 体系结构描述语言 自然推理系统 描述 UML 活动图 实时系统 控制问题 符号化方法 连接件 组合 形式语义 空性检测 时序关系 模型检测 语义一致性 时间自动机 模型检查 Statecharts 容错系统

中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所 中国科学院软件所计算机科学开放研究实验室 中国科学院计算技术研究所 贵州大学计算机理论研究所 长沙交通学院 北京邮电大学计算机学院 中国科学院软件所