含有析取语义循环的不变式生成改进方法

著录项

• 来源
  《软件学报》 |2016年第7期|1741-1756|共16页
• 作者

  潘建东; 陈立前; 黄达明; 孙浩; 曾庆凯;

  展开▼
• 作者单位

  计算机软件新技术国家重点实验室(南京大学);

  江苏南京210023;

  南京大学计算机科学与技术系;

  江苏南京210023;

  并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院);

  湖南长沙410073;

  计算机软件新技术国家重点实验室(南京大学);

  江苏南京210023;

  南京大学计算机科学与技术系;

  江苏南京210023;

  计算机软件新技术国家重点实验室(南京大学);

  江苏南京210023;

  南京大学计算机科学与技术系;

  江苏南京210023;

  计算机软件新技术国家重点实验室(南京大学);

  江苏南京210023;

  南京大学计算机科学与技术系;

  江苏南京210023;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  抽象解释; 抽象域; 不变式; 析取语义; 循环分解;