资料下载
×
软件的顺序语句块自动化规约与验证研究
消耗积分:0 |
格式:pdf |
大小:1.65 MB |
2021-06-03
分享资料个
软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段，但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大量手工验证。为提高证明效率，构建一种自动证明模型，并在此基础上提出语义自动规约算法以及对所规约的语义自动生成证明脚本的算法。利用C++和 Python并通过交互式定理证明器abelle2017在基准数据中随机选择10个程序进行测试，结果表明，与完全人工操作相比，该算法具有较高的验证效率，可实现顺序语句块的自动化规约与验证。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
