1 paper · 1 filter
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…