On the Verification of Sequential Machines at Differing Levels of Abstraction.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton

Browse the full DAC paper archive.