Symbolic Model Checking: 10^20 States and Beyond

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang

Browse the full LICS paper archive.