Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic

Richard Alan Karp

doi:10.1145/2993.357245

Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic

ACM Transactions on Programming Languages and Systems ◽

10.1145/2993.357245 ◽

1984 ◽

Vol 6 (2) ◽

pp. 239-253 ◽

Cited By ~ 6

Author(s):

Richard Alan Karp

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

On using temporal logic for refinement and compositional verification of concurrent systems

Theoretical Computer Science ◽

10.1016/0304-3975(94)00206-x ◽

1995 ◽

Vol 140 (1) ◽

pp. 95-138 ◽

Cited By ~ 4

Author(s):

Abdelillah Mokkedem ◽

Dominique Méry

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

Compositional Verification

Download Full-text

Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic

SOFSEM 2006: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/11611257_18 ◽

2006 ◽

pp. 207-217 ◽

Cited By ~ 2

Author(s):

Donghuo Chen ◽

Jinzhao Wu

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

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

ACM Transactions on Programming Languages and Systems ◽

10.1145/5397.5399 ◽

1986 ◽

Vol 8 (2) ◽

pp. 244-263 ◽

Cited By ~ 2006

Author(s):

E. M. Clarke ◽

E. A. Emerson ◽

A. P. Sistla

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

Automatic Verification ◽

Finite State

Download Full-text

Compositionality in the temporal logic of concurrent systems

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_55 ◽

1989 ◽

pp. 406-423

Author(s):

F. S. Boer

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

Formal Aspects of Computing ◽

10.1007/bf01888226 ◽

1990 ◽

Vol 2 (1) ◽

pp. 226-246 ◽

Cited By ~ 22

Author(s):

Xudong He ◽

John A. N. Lee

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

First Order ◽

Specification And Verification

Download Full-text

Temporal logic and causality in concurrent systems

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_37 ◽

1988 ◽

pp. 121-139 ◽

Cited By ~ 17

Author(s):

Wolfgang Reisig

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

A temporal logic approach to specify and to prove properties of finite state concurrent systems

CSL '88 - Lecture Notes in Computer Science ◽

10.1007/bfb0026295 ◽

2005 ◽

pp. 63-79 ◽

Cited By ~ 1

Author(s):

M. Danelutto ◽

A. Masini

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

Finite State ◽

Logic Approach

Download Full-text

Hierarchical development of concurrent systems in a temporal logic framework

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_2 ◽

1985 ◽

pp. 35-61 ◽

Cited By ~ 14

Author(s):

Howard Barringer ◽

Ruurd Kuiper

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

BOOK REVIEW: The Temporal Logic of Reactive and Concurrent Systems—Specification. By Zohar Manna and Amir Pnueli. (Springer-Verlag, 1991. xiv+427pp. ISBN 0-387-97664-7 . $49.95)

ACM SIGACT News ◽

10.1145/164996.990818 ◽

1993 ◽

Vol 24 (4) ◽

pp. 34-36

Author(s):

A. P. Sistla

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

Towards the hierarchical, temporal logic, specification of concurrent systems

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_45 ◽

1985 ◽

pp. 157-183 ◽

Cited By ~ 2

Author(s):

Howard Barringer ◽

Ruurd Kuiper

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text