173 citations · 655 across the 66 of their papers we have counts for
1 paper · 1 filter
Alastair Donaldson, Alexander Kaiser, Daniel Kroening +1
Predicate abstraction is a key enabling technology for applying finite-state model checkers to programs written in mainstream languages. It has been used very successfully for debu…