规约有序二叉决策图相关硕士博士期刊学术论文

模型检测是一种验证软硬件系统、多智能体系统、通信协议和嵌入式系统等的重要形式化方法。它将待验证系统建模为有限状态机,如Kri......