Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

FOCS
1989
IEEE

favoriteEmaildiscussreport

72views Theoretical Computer Science» more FOCS 1989»

A Really Temporal Logic

13 years 8 months ago

A Really Temporal Logic

Download mtc.epfl.ch

We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a variable to the time of the local temporal context. TPTL is both a natural language for speci cation and a suitable formalism for veri cation. We present a tableau-based decision procedure and a model checking algorithm for TPTL. Several generalizations of TPTL are shown to be highly undecidable.

Rajeev Alur, Thomas A. Henzinger

Real-time Traffic

FOCS 1989 | Quanti Er | Quanti Er Construct | Speci Cation | Theoretical Computer Science |

claim paper

Related Content

» Coverage Metrics for Temporal Logic Model Checking

» When is Temporal Planning Really Temporal

» Is ontologybased activity recognition really effective

» Is Logic Really Dead or Only Just Sleeping

» Is Intelligent Belief Really Beyond Logic

» A Decision Procedure for a Temporal Belief Logic

» The complexity of temporal logic over the reals

» Does Your Result Checker Really Check

» Temporal Logic for ProofCarrying Code

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1989
Where	FOCS
Authors	Rajeev Alur, Thomas A. Henzinger

Comments (0)