Ivy: safety verification by interactive generalization.

Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham

Browse the full PLDI paper archive.