电脑体验，效果更佳

符号模型检验图谱-计算机领域：

研究人员

杜慧敏 韩俊刚 古天龙 郝克刚 郭建 郭云川 高德远 王莉

相关术语

电子商务协议 等价性检验 原子性 形式化验证 模型检验 有限状态机 二叉决策图 有序二叉判定图

上位概念

分支时态逻辑

标签云