RDL. An executable temporal logic for the specification and design of real-time systems

Dov Gabbay; Ian Hodkinson; Anthony Hunter

RDL. An executable temporal logic for the specification and design of real-time systems

Dov Gabbay
, Ian Hodkinson
, Anthony Hunter

Imperial College London

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Abstract

RDL is an intuitionistic temporal logic for the specification of requirements and design of real-time systems for developing the design from the requirements. RDL is being developed as a formalism that would be appropriate for AI-based design support in engineering. RDL is an attempt at integrating aspects of L₄₃₄₄ within an executable temporal logic framework. Topics discussed are executable temporal logic, intuitionistic temporal logic and RDL.

Original language	English
Pages (from-to)	1/1-1/4
Journal	IEE Colloquium (Digest)
Issue number	24
State	Published - 1990
Externally published	Yes
Event	Colloquium on Temporal Reasoning - London, Engl Duration: 31 Jan 1990 → 31 Jan 1990

Cite this

@article{845eca5b7e814ccab162402cbaaf1e35,

title = "RDL. An executable temporal logic for the specification and design of real-time systems",

abstract = "RDL is an intuitionistic temporal logic for the specification of requirements and design of real-time systems for developing the design from the requirements. RDL is being developed as a formalism that would be appropriate for AI-based design support in engineering. RDL is an attempt at integrating aspects of L4344 within an executable temporal logic framework. Topics discussed are executable temporal logic, intuitionistic temporal logic and RDL.",

author = "Dov Gabbay and Ian Hodkinson and Anthony Hunter",

year = "1990",

language = "אנגלית",

pages = "1/1--1/4",

journal = "IEE Colloquium (Digest)",

issn = "0963-3308",

publisher = "Institute of Electrical Engineers",

number = "24",

note = "Colloquium on Temporal Reasoning ; Conference date: 31-01-1990 Through 31-01-1990",

}

TY - JOUR

T1 - RDL. An executable temporal logic for the specification and design of real-time systems

AU - Gabbay, Dov

AU - Hodkinson, Ian

AU - Hunter, Anthony

PY - 1990

Y1 - 1990

N2 - RDL is an intuitionistic temporal logic for the specification of requirements and design of real-time systems for developing the design from the requirements. RDL is being developed as a formalism that would be appropriate for AI-based design support in engineering. RDL is an attempt at integrating aspects of L4344 within an executable temporal logic framework. Topics discussed are executable temporal logic, intuitionistic temporal logic and RDL.

AB - RDL is an intuitionistic temporal logic for the specification of requirements and design of real-time systems for developing the design from the requirements. RDL is being developed as a formalism that would be appropriate for AI-based design support in engineering. RDL is an attempt at integrating aspects of L4344 within an executable temporal logic framework. Topics discussed are executable temporal logic, intuitionistic temporal logic and RDL.

UR - https://www.scopus.com/pages/publications/0025535827

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:0025535827

SN - 0963-3308

SP - 1/1-1/4

JO - IEE Colloquium (Digest)

JF - IEE Colloquium (Digest)

IS - 24

T2 - Colloquium on Temporal Reasoning

Y2 - 31 January 1990 through 31 January 1990

ER -

RDL. An executable temporal logic for the specification and design of real-time systems

Abstract

Other files and links

Fingerprint

Cite this