Symbolic model checking: 1020 states and beyond (1990)

by J Burch, E Clarke, K McMillan, D Dill, L Hwang
Venue:in Proc. of the Fifth Annual IEEE Symposium on Logic in Computer Science