3 citations · 3 across the 1 of their papers we have counts for
1 paper
Dirk Beyer, Stefan Löwe
Abstraction, counterexample-guided refinement, and interpolation are techniques that are essential to the success of predicate-based program analysis. These techniques have not yet…