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

Cached

Download Links

by E. M. Clarke , E. A. Emerson , A. P. Sistla
Venue:ACM Transactions on Programming Languages and Systems
Citations:1085 - 57 self

Document Versions

Automatic verification of finite-state concurrent systems using temporal logic specifications –E. M. Clarke, E. A. Emerson, A. P. Sistla — 1986 — ACM Transactions on Programming Languages and Systems