Concepedia
Information and Computation · 1989 · 179 citations · 13 references
Network ScienceGraph TheoryEngineeringNetwork ComplexityAutomated ReasoningNetwork AnalysisComputer ScienceNetwork TheoryNetwork Dynamic
13
Automatic verification of finite-state concurrent systems using temporal logic specifications
E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.5K citations · Full text
Engineering, Verification, Computer-aided Verification +17
The complexity of propositional linear temporal logics
A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text
Particular Finite Structure, Extended Logic, Engineering +13
Checking that finite state concurrent programs satisfy their linear specification
Orna Lichtenstein, Amir Pnueli · 1985 · 619 citations · Full text
Engineering, Verification, Computer-aided Verification +20
Limits for automatic verification of finite-state concurrent systems
Krzysztof R. Apt, Dexter Kozen · Information Processing Letters · 1986 · 372 citations
Engineering, Automated Reasoning, Verification +8
Expressing interesting properties of programs in propositional temporal logic
Pierre Wolper · 1986 · 255 citations
Engineering, Synthesis Methods, Verification +17