电脑体验，效果更佳

分支时态逻辑图谱-计算机领域：

研究人员

韩俊刚 刘建元 杜慧敏 高德远

相关术语

等价性检验 二叉决策图 模型检验 有限状态机 有序二叉判定图

下位概念

符号模型检验

标签云