郑建丹 马华东 郑茂松 缪旭 阎安 张文亮 李新 骆华俊

同步器 三机冗余 描述层次 性质验证 形式化语义 精化 基于迁移的扩展Büchi自动机 动态语义

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