Temporal Logic in Specification

Keyphrases

Publications

volume 398, 1989

Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings Temporal Logic in Specification 398 (1989)

1987

Bernhard Josko
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. Temporal Logic in Specification (1987)
Edmund M. Clarke, Orna Grumberg
The Model Checking Problem for Concurrent Systems with Many Similar Processes. Temporal Logic in Specification (1987)
Pierre Wolper
On the Relation of Programs and Computations to Models of Temporal Logic. Temporal Logic in Specification (1987)
Colin Stirling
Comparing Linear and Branching Time Temporal Logics. Temporal Logic in Specification (1987)
Susanne Graf, Joseph Sifakis
An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification (1987)
Ruurd Kuiper
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Temporal Logic in Specification (1987)
Behnam Banieqbal, Howard Barringer
Temporal Logic with Fixed Points. Temporal Logic in Specification (1987)
Dov M. Gabbay
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Temporal Logic in Specification (1987)
Zhou Chaochen
Specifying Communicating Systems with Temporal Logic. Temporal Logic in Specification (1987)
Roger Hale
Using Temporal Logic for Prototyping: The Design of a Lift Controller. Temporal Logic in Specification (1987)
Ron Koymans
Specifying Message Passing Systems Requires Extending Temporal Logic. Temporal Logic in Specification (1987)
Samit Khosla, T. S. E. Maibaum
The Prescription and Description of State Based Systems. Temporal Logic in Specification (1987)
Zohar Manna, Amir Pnueli
Specification and Verification of Concurrent Programs by forall-Automata. Temporal Logic in Specification (1987)
Job Zwiers, Willem P. de Roever
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Temporal Logic in Specification (1987)
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification (1987)
P. M. Melliar-Smith
Extending Interval Logic to Real Time Systems. Temporal Logic in Specification (1987)
Shmuel Katz, Doron A. Peled
Interleaving Set Temporal Logic. Temporal Logic in Specification (1987)
Moshe Y. Vardi
Unified Verification Theory. Temporal Logic in Specification (1987)