状态爆炸问题相关论文
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战：全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基......
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和......
