Automatic Veri cation of Sequential Circuits Using Temporal Logic (1984)

by M Browne, E Clarke, D Dill, B Mishra