Symbolic verification method for definite interation over data structures

著录项

• 来源
  《Information Processing Letters》 |1999年第4期|207-213|共7页
• 作者

  V.A. Nepomniaschy;

  展开▼
• 作者单位

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 eng
• 中图分类 计算技术、计算机技术;
• 关键词

  Program correctness; Definite iteration; Verification method;

  机译：程序正确性;确定的迭代;验证方式;