Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The paper presents a new approach to computing the abstract state and a maximum ight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach.
['Li Li', 'Ming Gu', 'Xiaoyu Song', 'Jianmin Wang']
I am writing a research paper on a idea Effective Predicate Abstraction for Program Verification
[{"from": "human", "value": "I am writing a research paper on a idea Effective Predicate Abstraction for Program Verification"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The paper presents a new approach to computing the abstract state and a maximum ight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach."}]