Temporal Logic

title

Monitoring Data-Dependent Temporal Patterns

date
2026-02-19
tags
Tech Blog Temporal Logic Runtime Verification Formal Methods
author
Agnishom Chattopadhyay
summary
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.