电脑体验，效果更佳

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

研究人员

陈克非 高翔 周明天 宁华中 关春花 周红梅 丁一强 袁志斌

相关术语

时限责任 形式化规格说明 有限状态机 应用程序接口（API） 前向精化 分解变换 进程代数 关系数据库

上位概念

安全协议 软件体系结构

下位概念

B方法 模型检查

标签云