Monitoring Data-Dependent Temporal Patterns
Summary
This tech blog post surveys approaches to monitoring data-dependent temporal patterns using temporal logic (including first-order variants) and related formalisms. It discusses expressivity versus efficiency, introduces SpecForge as a framework for authoring, monitoring, and organizing formal specifications, and illustrates concepts with examples like invalidated iterators and GDPR data usage. It also compares automata, stream processing, and monitoring tools, and notes plans to extend SpecForge to event payloads and value freezing for real-valued signals.