CPAChecker 相关硕士博士期刊学术论文

模型检测是一种形式化验证技术,主要用于系统的建模和分析。随着软件系统规模和复杂性的增加,模型检测中的状态爆炸问题愈发严重。......