Runtime Verification 2026

Speaker

George Mitenkov

Talks at this conference:
 Wed, 11:50 Defense-in-Depth Runtime Safety in Move ! Live

 Overview

Sponsored by:

Formal Methods Europe