会议论文《基于程序骨架的软件模型验证加速方法》发表于2013全国高性能计算学术年会。该文提出一种通过分析程序骨架来加速软件模型验证的方法，旨在提高验证效率。研究利用程序结构特征简化验证过程，减少计算资源消耗，为高性能计算环境下的软件验证提供了新思路。
文档为pdf格式，0.53MB，总共5页。
举报
