会议论文《一种基于语境的程序正确性验证算法的研究与实现》发表于全国抗恶劣环境计算机第二十四届学术年会。该文提出了一种新的程序正确性验证方法，通过引入语境信息提高验证的准确性和效率。研究结合了形式化方法与实际应用需求，旨在增强软件在复杂环境下的可靠性。论文对算法进行了实现与测试，验证了其有效性与实用性。
文档为pdf格式，0.85MB，总共8页。
举报
