Efficient generation of all minimal inductive validity cores.

Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek

Browse the full FMCAD paper archive.