Sciweavers

Share
CONCUR
1998
Springer

It's About Time: Real-Time Logics Reviewed

9 years 4 months ago
It's About Time: Real-Time Logics Reviewed
Abstract. 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.
Thomas A. Henzinger
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where CONCUR
Authors Thomas A. Henzinger
Comments (0)
books