会议论文《基于Isabelle定理证明器算法程序的形式化验证》探讨了利用Isabelle定理证明器对算法程序进行形式化验证的方法与实践。文章介绍了如何将算法转化为形式化模型，并通过Isabelle进行严格证明，确保算法的正确性。该研究为提高软件系统的可靠性提供了理论支持和技术手段，具有重要的学术价值和应用前景。
文档为pdf格式，0.34MB，总共5页。
举报
