1 paper
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…