您的位置： 专家智库 > >

潘建东

作品数：1 被引量：4H指数：1
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家自然科学基金国家科技支撑计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇变式

机构

  • 1篇国防科学技术...
  • 1篇南京大学
  • 1篇计算机软件新...

作者

  • 1篇陈立前
  • 1篇曾庆凯
  • 1篇黄达明
  • 1篇潘建东
  • 1篇孙浩

传媒

  • 1篇软件学报

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
含有析取语义循环的不变式生成改进方法被引量：4
2016年
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理.
潘建东陈立前黄达明孙浩曾庆凯
全选 清除 导出
共1页<1>
聚类工具0