Sequential circuit verification using symbolic model checking (1990)

by J R Burch, E M Clarke, K L McMillan, D L Dill
Venue:In 27th Design Automation Conference (DAC ’90