基于抽象解释理论的程序验证技术

著录项

• 来源
  《软件学报》 |2008年第1期|17-26|共10页
• 作者

  李梦君; 李舟军; 陈火旺;

  展开▼
• 作者单位

  国防科学技术大学;

  计算机学院;

  湖南;

  长沙;

  410073;

  北京航空航天大学;

  计算机科学与工程学院;

  北京;

  100083;

  国防科学技术大学;

  计算机学院;

  湖南;

  长沙;

  410073;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  抽象解释理论; Galois连接; 程序验证;