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