Property irrelevant predicates
This work addresses a specific bottleneck in program verification for developers and researchers, but it appears incremental as it builds on existing slicing techniques.
The paper tackles the problem of property checking in programs by identifying predicates that are irrelevant to property validation but not eliminated by slicing, and develops a process to leverage these predicates to scale up property checking.
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.