电脑体验，效果更佳

有界模型检测图谱-计算机领域：

研究人员

杨晋吉 李超明 骆翔宇 周从华 林瀚 李祥 苏开乐 肖茵茵 潘志鹤

相关术语

模态算子 CBMC 平行组合 NuSMV 串空间 Cygwin 同步时态认知模型 协议 抽象 多智体系统 硬件验证 模型检测 Verilog 可满足性问题 时态认知逻辑 验证 递推公式

标签云