Temporal Logic in Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540518037, 9783540468110

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MCTL — An extension of CTL for modular verification of concurrent systems

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_25 ◽

1989 ◽

pp. 165-187 ◽

Cited By ~ 5

Author(s):

Bernhard Josko

Keyword(s):

Concurrent Systems ◽

Modular Verification

Download Full-text

Unified verification theory

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_27 ◽

1989 ◽

pp. 202-212 ◽

Cited By ~ 11

Author(s):

Moshe Y. Vardi

Download Full-text

Specification and verification of concurrent programs by ∀-automata

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_24 ◽

1989 ◽

pp. 124-164 ◽

Cited By ~ 9

Author(s):

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Concurrent Programs ◽

Specification And Verification

Download Full-text

Using temporal logic for prototyping: The design of a lift controller

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_35 ◽

1989 ◽

pp. 375-408 ◽

Cited By ~ 7

Author(s):

Roger Hale

Keyword(s):

Temporal Logic

Download Full-text

Abstract object types: A temporal perspective

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_33 ◽

1989 ◽

pp. 324-350 ◽

Cited By ~ 20

Author(s):

A. Sernadas ◽

J. Fiadeiro ◽

C. Sernadas ◽

H.-D. Ehrich

Keyword(s):

Abstract Object ◽

Temporal Perspective

Download Full-text

Specifying communicating systems with temporal logic

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_32 ◽

1989 ◽

pp. 304-323 ◽

Cited By ~ 1

Author(s):

Chaochen Zhou

Keyword(s):

Temporal Logic

Download Full-text

On the relation of programs and computations to models of temporal logic

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_23 ◽

1989 ◽

pp. 75-123 ◽

Cited By ~ 30

Author(s):

Pierre Wolper

Keyword(s):

Temporal Logic

Download Full-text

The prescription and description of state based systems

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_30 ◽

1989 ◽

pp. 243-294 ◽

Cited By ~ 23

Author(s):

S. Khosla ◽

T. S. E. Maibaum

Download Full-text

Extending interval logic to real time systems

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_29 ◽

1989 ◽

pp. 224-242 ◽

Cited By ~ 12

Author(s):

P. M. Melliar-Smith

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Interval Logic

Download Full-text

The model checking problem for concurrent systems with many similar processes

Temporal Logic in Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-51803-7_26 ◽

1989 ◽

pp. 188-201 ◽

Cited By ~ 1

Author(s):

E. M. Clarke ◽

O. Grumberg

Keyword(s):

Model Checking ◽

Concurrent Systems

Download Full-text

Temporal Logic in Specification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

MCTL — An extension of CTL for modular verification of concurrent systems

Unified verification theory

Specification and verification of concurrent programs by ∀-automata

Using temporal logic for prototyping: The design of a lift controller

Abstract object types: A temporal perspective

Specifying communicating systems with temporal logic

On the relation of programs and computations to models of temporal logic

The prescription and description of state based systems

Extending interval logic to real time systems

The model checking problem for concurrent systems with many similar processes

Temporal Logic in Specification - Lecture Notes in Computer Science
Latest Publications