trace/rv/runtime-verification.rst

2 Runtime Verification
5 Runtime Verification (RV) is a lightweight (yet rigorous) method that
6 complements classical exhaustive verification techniques (such as *model
19 *online* verification of a system, enabling the *reaction* for unexpected
26 A monitor is the central part of the runtime verification of a system. The
30 In Linux terms, the runtime verification monitors are encapsulated inside the
41   | (instrumentation) |     | (verification) |     | (specification) |
54 In addition to the verification and monitoring of the system, a monitor can
64 For further information about the principles of runtime verification and
67   Bartocci, Ezio, et al. *Introduction to runtime verification.* In: Lectures on
68   Runtime Verification. Springer, Cham, 2018. p. 1-33.
70   Falcone, Ylies, et al. *A taxonomy for classifying runtime verification tools.*
71   In: International Conference on Runtime Verification. Springer, Cham, 2018. p.
75   verification of the real-time Linux kernel.* Ph.D. Thesis, 2020.
102   *Efficient formal verification for the Linux kernel.* In: International