Symbolic model checking (1990)

by J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang
Venue:10 20 states and beyond,” in Proc. 5th Ann. IEEE Symp. Logic Comput. Sci