|Leveraging Interpolant Strength in Model Checking
|Year of Publication
|Rollini, S.F., Sery O., and Sharygina Natasha
|24th International Conference on Computer Aided Verification (CAV)
|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.