属性无关谓词

摘要：

尽管切片删除了与属性检查无关的代码。然而，即使在这之后，我们的研究发现，在程序中有谓词没有关系的属性验证，虽然切片不能消除他们。我们已经处理了一个标准，以确定这样的谓词，然后给出了一个过程，利用他们的规模扩大的财产检查。

英文摘要：

Although slicing removes code which has no bearing on property checking. However even after that, our study has found that there are predicates in program which have no bearing on property validation, although slicing could not eliminate them. We have cope up with a criteria to identify such predicates and then give a process to leverage them in scale up of property checking.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。