谓词抽象(predicate abstraction)是一种 常用的带参验证方法 [11] . 通常的抽象要求用户给出一 定的抽象映射关系, 从而计算出具体系统所对应的的 抽象系统的形式.
基于44个网页-相关网页
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
以上来源于: WordNet
应用推荐