Runtime Verification 2026

Speaker

Thomas Wright

Talks at this conference:
 Tue, 11:00 DSRV: Reconfigurable Stream Runtime Verification With Context Transfers ! Live
 Tue, 14:00 Logical Compression: Source Coding for Distributed Temporal Logic Monitoring ! Live
 Wed, 13:30 mstlo: Efficient Online Monitoring of Signal Temporal Logic ! Live

 Overview

Sponsored by:

Formal Methods Europe