DocumentCode
279738
Title
RDL: an executable temporal logic for the specification and design of real-time systems
Author
Gabbay, Dov ; Hodkinson, Ian ; Hunter, Anthony
Author_Institution
Dept. of Comput., Imperial Coll., London, UK
fYear
1990
fDate
32904
Firstpage
42370
Lastpage
42373
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
Keywords
artificial intelligence; design engineering; formal logic; AI-based design support; RDL; engineering; executable temporal logic; intuitionistic temporal logic; real-time systems;
fLanguage
English
Publisher
iet
Conference_Titel
Temporal Reasoning, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
189768
Link To Document