Interface specification with temporal logic

Authors:
M. Kooij
Affiliations:
PTT Research, Neher Laboratories, P.O. Box 421, 2260 AK Leidschendam, The Netherlands
Venue:
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Year:
1989

Citing 6
Cited 0

Systematic software development using VDM

Systematic software development using VDM
Temporal logic of programs

Temporal logic of programs
The use of temporal logic in the compositional specification of concurrent systems

Temporal logics and their applications
VVSL: a language for structured VDM specifications

Formal Aspects of Computing
Synthesis of Communicating Processes from Temporal Logic Specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logics for abstract semantics

Temporal logics for abstract semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract