Symbolic Model Checking: 10^20 States and Beyond (1992)

by J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang