Runtime Verification

Temporal Logic can be used to express patterns in data streams. We examine variants of temporal logic where the patterns themselves depend on the data present within the stream.