Inductive invariant generation via abductive inference.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan

Browse the full OOPSLA paper archive.