Runtime verification is a computing analysis paradigm based on observing a system at
runtime (to check its expected behaviour) by means of monitors generated from formal …