28 citations · 46 across the 8 of their papers we have counts for
1 paper · 1 filter
Ranjit Jhala, Kenneth L. McMillan
In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software mode…