It's About Time: Real-Time Logics Reviewed

@inproceedings{Henzinger1998ItsAT,
  title={It's About Time: Real-Time Logics Reviewed},
  author={Thomas A. Henzinger},
  booktitle={CONCUR},
  year={1998}
}
We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checking linear temporal formulas with timing constraints. In particular, we nd that a great deal of real-time veri cation can be performed in polynomial space, but also that considerable care must be exercised in order to keep the real-time veri cation problem in polynomial space, or even decidable. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 71 extracted citations

References

Publications referenced by this paper.

Raskin

J.-F
Personal communication, • 1998
View 1 Excerpt

Similar Papers

Loading similar papers…