Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach.

Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla

Browse the full POPL paper archive.