Automatic verification of sequential circuits using temporal logic (1986)

by M Browne, E M Clarke, D Dill, B Mishra
Venue:IEEE Trans. Comput