论文研究抽象解释理论框架及其应用.pdf
在高度依赖计算机的现代社会，软件（特别是大型实时安全攸关软件）的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算，P.Cousot和R.Cousot提出的抽象解释作为一种在数学模型间进行可靠近似的理论，为各类自动验证工具中不同的近似方法建立起一个统一的形式化框架。抽象解释理论在程序分析和验证研究领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序变换、程序调试、程序水印等方面。描述了基于程序不动点语义的抽象解释理论框架，并对其近年来的应用现状进行了较为全面的介绍，最后给出了抽象解释理论中尚存在的一些问题及可能的研究方向。
下载地址
用户评论
不错不错，很棒的资源，还可以用
很垃圾谁有我免费给
看起来还不错
坑，里面没什么有价值的东西
不错不错，有用的
确实很不错哦
还行,适合于初级入门的学习
还行，不错，谢谢作者
很好，对学习帮助很大，支持一下
质量一般，基本不太用的上