Symbolic Model Checking: 1020 States and Beyond (0)

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