Explicit Safety Property Strengthening in SAT-based Induction.

Vishnu C. Vimjam, Michael S. Hsiao

Browse the full VLSID paper archive.