An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Michael C. Browne. An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 260-266, IEEE Computer Society, 1986.

The following publications are possibly variants of this publication:

Using Temporal Logic for Automatic Verification of Finite State SystemsEdmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla. nato 1985: 3-26 [doi]

runs on WebDSL