Several approaches for verifying properties involving data at runtime are reviewed. Starting with a typical, mainly academic account to runtime verification based on linear temporal logic (LTL) we present existing extensions such as LTL with parameterized propositions and first-order LTL. Moreover, we compare these approaches with further frameworks such as LOLA, RuleR and Eagle. The goal is to give a comprehensive picture of runtime verification in the light of data values.
Les transparents
