会议论文《基于模型检验技术的源程序分析研究》发表于2009年全国开放式分布与并行计算学术年会。该文探讨了如何利用模型检验技术对源程序进行分析，以提高软件的正确性和可靠性。研究提出了有效的分析方法，能够检测程序中的潜在错误，为软件开发提供了理论支持和技术手段。
文档为pdf格式，0.26MB，总共5页。
举报
