Automatic invariant strengthening to prove properties in bounded model checking.

Mohammad Awedh, Fabio Somenzi

Browse the full DAC paper archive.