A Framework for Parameterized Monitorability
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir · Lecture notes in computer science · 2018
We introduce a general framework for Runtime Verification, parameterized with respect to a set of conditions. These conditions are encoded in the trace generated by a monitored process, which a monitor can observe. We present this parameterized framework in its general form and prove that it corresponds to a fragment of HML with recursion, extended with these conditions. We then show how this framework can be applied to a number of instantiations of the set of conditions. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.