UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Using the temporal logic RDL for design specifications

Gabbay, D; Hodkinson, I; Hunter, A; (1991) Using the temporal logic RDL for design specifications. In: UNSPECIFIED (pp. 64-78).

Full text not available from this repository.


© Springer-Vedag Berlin Heidelberg 1991. In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theorem prover for constructing a design from a requirement, and an execution mechanism for constructing a model of the design such that the model can be checked to satisfy the requirement at each point. A brief overview of executable temporal logic is presented together with a discussion of the advantages of an intuitionistic version. RDL is being developed as a formalism that would be appropriate for AI-based design support in engineering.

Type: Book chapter
Title: Using the temporal logic RDL for design specifications
ISBN-13: 9783540464525
DOI: 10.1007/3-540-53932-8_44
URI: http://discovery.ucl.ac.uk/id/eprint/105507
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item