会议论文《基于启发式NDFS的高性能软件模型验证算法》发表于2010年全国高性能计算学术年会（HPC China 2010）。该文提出一种结合启发式策略与非确定性深度优先搜索（NDFS）的软件模型验证方法，旨在提升验证效率和性能。通过优化搜索路径，减少冗余计算，该算法在复杂系统验证中表现出色，为高性能计算环境下的软件验证提供了新思路。
文档为pdf格式，0.36MB，总共11页。
举报
