Jump to content

Interval Temporal Logic

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jpbowen (talk | contribs) at 15:28, 30 August 2005 (ITL entry). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Interval Temporal Logic (ITL) is a form of temporal logic that includes the concept of time intervals. It was originally developed by Ben Moszkowski, initially for his thesis at the University of Cambridge. ITL includes both propositional and first-order logical reasoning about discrete time periods and is useful in the formal description of hardware and software for computer-based systems. Tools are available to aid in this process. Tempura provides an executable ITL framework. Compositionality is a significant issue and consideration in the design of ITL.

See also

Stub icon

This computing article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Interval_Temporal_Logic&oldid=22180425"