Checking Temporal Properties of Discrete, Timed and Continuous Behaviors

We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the real-time logic MITL.

• Type: Conference
• Year: 2008
• Where: BIRTHDAY
• Authors: Oded Maler, Dejan Nickovic, Amir Pnueli
• Keywords: Applied Computing, Appropriate Temporal Logic, BIRTHDAY 2008, Boolean Signal, Real-time Logic Mitl