Symbolic model checking: 1020 States and beyond

J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang
1992 Information and Computation  
doi:10.1016/0890-5401(92)90017-a fatcat:dtdxdp4uurhxrhmt3zrgbqjsbm