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.

• Type: Conference
• Year: 1998
• Where: CONCUR
• Authors: Thomas A. Henzinger
• Keywords: CONCUR 1998, Distributed And Parallel Computing, Polynomial Space, Real-time Veri Cation, Veri Cation Problem