1 paper
Shuvendu K. Lahiri, Randal E. Bryant
Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and…