Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.

Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao

Browse the full DAC paper archive.