Small inductive safe invariants.

Alexander Ivrii, Arie Gurfinkel, Anton Belov

Browse the full FMCAD paper archive.