6 citations · 6 across the 1 of their papers we have counts for
1 paper
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predica…