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.
| 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 |