会议论文《模型检测中状态爆炸及其优化策略研究》探讨了模型检测技术中面临的状态爆炸问题，分析了其产生的原因及对系统验证的影响。文章提出了多种优化策略，旨在减少状态空间的规模，提高验证效率。该研究对于提升模型检测的实际应用能力具有重要意义，为相关领域的进一步发展提供了理论支持。
文档为pdf格式，0.37MB，总共7页。
举报
