电脑体验，效果更佳

形式化方法图谱-计算机领域：

研究人员

陈克非 高翔 周明天 宁华中 关春花 周红梅 丁一强 袁志斌 顾冠群 陈怡海 张明恒 郑国梁 卿斯汉 杨大军 张磊 黎忠文 桑田 左继红 吴哲辉 高丽萍 李莉 戚正伟 胡浩 谢俊元 孙雷 董皓 王纪文 黄连生 鹿蕾 石海鹤

相关术语

安全协议 软件体系结构 B方法 模型检查 时限责任 形式化规格说明 有限状态机 应用程序接口（API） 前向精化 分解变换 进程代数 关系数据库 顺序图 时间约束 组件 软件规约 Petri-B 网 SPI演算 扩展有限状态机（EFSM） 构件组装 携带证明的代码 形式验证 串空间 容错 协议 网络银行系统B 类图 广义代换 形式规范 分布式测控系统

上位概念

安全协议 软件体系结构

下位概念

B方法 模型检查

标签云