电脑体验，效果更佳

等价性检验图谱-自然科学领域：

研究人员

杨泽民 刘建元 李智慧 夏银水 范全润

相关术语

有序二叉判定图 模型检验 BDD 符号模型检验 验证 分支时态逻辑 硬件 形式化验证

标签云