Symbolic model checking: 102 ◦ states and beyond (1990)

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