RML: runtime monitoring language
Luca Franceschini · 2019
Runtime verification (RV) [11] is a form of verification happening at runtime rather than compile-time. While static verification proves whether a property holds for every possible run of the program under scrutiny, RV only deals with a single execution (at a time). RV offers more flexibility in terms of provable properties: some specifications that may be particularly hard (or even impossible) to enforce statically can be checked at runtime, when more information are available.