Runtime Verification 2026

Speaker

Elia Ghisellini

Talks at this conference:

Online Monitoring and Verification of Dynamic System Performance Properties in MTLfp

Sponsored by:

Formal Methods Europe