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