电脑体验，效果更佳

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

研究人员

杜慧敏 韩俊刚 古天龙 郝克刚 郭建 郭云川 高德远 王莉 程晶晶 董荣胜 刘建元 孔力 蔡国永 杜惠敏

相关术语

分支时态逻辑 电子商务协议 等价性检验 原子性 形式化验证 模型检验 有限状态机 二叉决策图 有序二叉判定图 CTL 安全联锁 时态逻辑 蒸汽锅炉 BDD 分支时态逻辑

上位概念

分支时态逻辑

标签云