Automatic verification of finite-state concurrent systems using temporal logic specifications
Work
Year: 1986
Type: article
Abstract: We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a (propositional, branching-time) temporal logic. Our algorithm has complexity lin... more
Institutions Carnegie Mellon University, The University of Texas at Austin, TE Laboratories (Ireland)
Cites: 24
Cited by: 3,586
Related to: 10
FWCI: 24.83
Citation percentile (by year/subfield): 99.5
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze