Word Level Model Checking (Abstract).

Edmund M. Clarke, Xudong Zhao

Browse the full MFCS paper archive.