Runtime Verification 2026

Regular Paper

Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic

L. Bakiri, J. Dubut, S. Mover

on  Tue, 14:30 ! Livein  Rose Innovation Hubfor  30min

 Overview  Program

Sponsored by:

Formal Methods Europe