1 paper · 1 filter
Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
Runtime verification has gained popularity as a lightweight approach for increasing assurance in systems under scrutiny. Performing runtime checks enables dynamic monitoring and al…