Introduction to Runtime Verification

Summary

Starter note seeded from metadata and title. This source is an orientation document for runtime verification and should become a backbone reference for monitoring-oriented safety pages.

Key Claims

• Full claims pending deeper ingest.
• Expected role in the wiki: define the scope, terminology, and workflow of runtime monitoring.

Methods / Formalism

• Runtime monitors over execution traces.
• Specifications expressed in formal languages, often temporal or automata-based.

Evidence / Experiments

• Not yet reviewed in detail.

Connections

• Primary source for Runtime Verification.
• Strongly linked to Linear Temporal Logic and Shielding.
• Cleanup triage (2026-05-22): keep this as the monitoring backbone for Runtime Verification. It is background for shielding and action-masking papers rather than a superseded source; a full ingest should extract monitor models, verdict semantics, and the pipeline from temporal specification to online enforcement.

Open Questions

• Which runtime-verification concepts transfer most directly into RL safety settings?
• What monitor models matter for partial observability and learned state representations?

Citation

Bartocci, E. (2018). Introduction to Runtime Verification.