论文研究-实时时态认知逻辑模型检测中三值抽象技术的研究 .pdf

【文件属性】：

文件名称：论文研究-实时时态认知逻辑模型检测中三值抽象技术的研究 .pdf

文件大小：498KB

文件格式：PDF

更新时间：2022-09-05 03:08:22

模型检测

实时时态认知逻辑模型检测中三值抽象技术的研究，周从华，孙博，实时时态认知逻辑TACTLK模型检测面临着与传统模型检测同样的挑战，即状态空间爆炸问题。抽象是缓解状态空间爆炸问题的最为有效的方