Temporal logic for real time systems
Temporal logic for real time systems
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Hi-index | 0.00 |
LTLC is a continuous-time linear temporal logic for the specification of real-time systems. It can express both the properties and the implementations of real-time systems. With LTLC, real-time systems can be described at many levels of abstraction, from high-level requirement specifications to low-level implementation models, and the conformance between different descriptions can be expressed by logical implication. This paper will describe how LTLC is used to represent and reason about real-time systems.