|
论文《基于抽象解释的不变式验证》发表于第十一届全国软件与应用学术会议(NASAC2012)，探讨了利用抽象解释方法进行程序不变式验证的技术。该方法通过构建程序的抽象模型，有效简化验证过程，提高程序分析的效率和准确性。文章提出了新的算法和框架，用于自动发现和验证程序中的不变式，为软件正确性保障提供了理论支持和实践指导。 文档为pdf格式，0.3MB，总共16页。
- 文件大小:
- 307.2 KB
- 下载次数:
- 60
- 基于抽象解释的不变式验证 - 第十一届全国软件与应用学术会议(NASAC2012).pdf
-
高速下载
| 
