会议论文《一种模型检测精确加速的判断方法》发表于2014年河南省计算机学会学术年会暨河南省计算机大会。该文提出了一种用于模型检测中精确加速的判断方法，旨在提高验证效率。通过分析系统状态空间的特性，该方法能够有效识别可加速的路径，从而减少计算资源的消耗。研究对提升模型检测性能具有重要意义，为复杂系统的验证提供了新的思路。
文档为pdf格式，0.72MB，总共5页。
举报
