trace/rv/rv.c

5  * This is the online Runtime Verification (RV) interface.
8  * exhaustive verification techniques (such as model checking and
22  * Silva. Efficient formal verification for the Linux kernel. In:
29  * and verification of the real-time Linux kernel. PhD Thesis, 2020.
33  * A monitor is the central part of the runtime verification of a system.
38  * In Linux terms, the runtime verification monitors are encapsulated
51  *  | (instrumentation) |     | (verification) |     | (specification) |
65  * to control the verification session.
70  * a verification session. For instance, when a given monitor is enabled,
73  * when disabling the verification session.
138  *   Documentation/trace/rv/runtime-verification.rst