华企商城欢迎您! 登录 注册 总站[切换城市]
中国优秀的企业全生态服务平台 我的购物车0

咨询热线: 010-85755626

售后服务: 010-85779318

首页 >华企学院 >网站基础 > 形式化静态分析中用到的实现技术

形式化静态分析中用到的实现技术

作者:华企商城 阅读次数:312次 发布时间:2014-11-10 11:44:56评论:0

   形式化静态分析中用到的实现技术

  模型检查假设系统是有限状态的、或者可以通过抽象归结为有限状态。

  抽象解释将每条语句的影响模型化为一个抽象机器的状态。相比实际系统,抽象机器更简单更容易分析,但其代价是丧失了分析的完备性(并不是原始系统中的每种性质在抽象机器中都是保留的)。抽象解释当且仅当抽象机器中的每一个性质都能与原始系统中的性质正确映射时,才被称作可靠(sound)的。

  断言在霍恩逻辑中首次被提出。目前存在一些针对特定程序设计语言的工具,例如ESC/JAVA和ESC/JAVA2中分别使用的SPARK语言和JML语言。文章由,企业建站程序http://www.netshop168.com/,整理发布。

华企商城更多商品介绍:在线订餐系统    微信营销实现精准信息推送  企业QQ内部管理

文章转载请注明出处:http://www.netshop168.com/article-273.html

有好的文章希望华企帮您分享推广,猛戳这里我要投稿

【版权声明】本文内容由互联网用户自发贡献,本站不拥有所有权,不承担相关法律责任。如果发现本站有涉嫌抄袭的内容,欢迎发送邮件至 1324939756@qq.com 举报,并提供相关证据,一经查实,本站将立刻删除涉嫌侵权内容。

我来说两句 0条评论

最新评论

栏目最新文章

找到您想要的文章

快速发布任务

  • 频道热点
  • 全站热点