54 citations · 255 across the 28 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…