Symbolic model checking: 1020 states and beyond (1990)

by J R Burch, E M Clarke, K L McMillan, D L Dill, J Hwang
Venue:In Fifth IEEE Symposium on Logic in Computer Science, Philadelphia