Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. A. Emerson, A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications", ACM Transactions on Programming Languages and Systems, vol. 8, no. 2, pp. 244-263, 1986.

1986