Runtime monitoring

A dynamic verification technique that inserts observers to track program execution and detect when behavior deviates from specified properties (e.g., Contracts, protocols, temporal constraints).