Leveraging Interpolant Strength in Model Checking
Additional information
Authors
Rollini S. F.,
Sery O.,
Sharygina N.
Type
Article in conference proceedings
Year
2012
Language
English
Conference proceedings
24th International Conference on Computer Aided Verification (CAV)
Publisher
Springer
Meeting place
Berkeley, California, USA
