Runtime Verification

Focus

The Runtime Verification group develops methods to check whether a software or cyber-physical system behaves correctly while it is running, rather than only through testing before deployment.

What they study

• Specification and monitoring: expressing required behaviour (e.g., safety rules, protocols, timing constraints) and building monitors that observe executions
• Online detection: finding violations in real time and producing actionable diagnostics
• Correctness in practice: monitoring distributed systems, embedded controllers, and safety-critical applications
• Efficiency and scalability: reducing monitoring overhead and handling high-volume event streams

Typical outcomes

Lightweight runtime monitors, trace-analysis tools, techniques for checking temporal/logical properties at execution time, and strategies for responding to detected violations (alerts, recovery, or adaptation).