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
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;
Conference_Titel :
Temporal Reasoning, IEE Colloquium on
Conference_Location :
London
