• 谓词抽象 - 引用次数：2

  Since the emergence of formal methods, many experts apply themselves to the research of loop invariant; put forward a number of technologies developing loop invariant, such as predicate abstraction, dynamic detection technology.

  自形式化方法出现以来,众多专家致力于循环不变式的开发,提出了许多循环不变式开发技术,如谓词抽象技术、动态探测技术等。

  参考来源 - 循环不变式开发技术研究

·2,447,543篇论文数据，部分数据来源于NoteExpress