电脑体验，效果更佳

模型检查图谱-计算机领域：

研究人员

冯登国 黄谷 周祖德 傅建明 郭伟 李广元 汪洋 周立

相关术语

二叉判定图 EAP-TLS TCP连接管理 Spin UML 产生式系统 不动点 时序逻辑

上位概念

形式化方法

标签云