实时时态认知逻辑模型检测相关硕士博士期刊学术论文

模型检测是一种很重要的有限状态系统的自动验证技术,已经应用到了通信协议、硬件检测、控制系统等领域的验证中并受到了广泛的关......