|Title||Leveraging Interpolant Strength in Model Checking|
|Publication Type||Conference Paper|
|Year of Publication||2012|
|Authors||Rollini, S.F., Sery O., and Sharygina Natasha|
|Conference Name||24th International Conference on Computer Aided Verification (CAV)|
|Conference Location||Berkeley, California, USA|
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quality of approximations and consequently the performance of the model checkers. Recently, it was observed that for the same resolution proof a complete lattice of interpolants ordered by strength can be derived.