Runtime Verification
modulename: rv.ko
configname: CONFIG_RV
Linux Kernel Configuration
└─>Kernel hacking
└─>Tracers
└─>Runtime Verification
In linux kernel since version 6 (release Date: 2022-10-02)
Enable the kernel runtime verification infrastructure. RV is a
lightweight (yet rigorous) method that complements classical
exhaustive verification techniques (such as model checking and
theorem proving). RV works by analyzing the trace of the system's
actual execution, comparing it against a formal specification of
the system behavior.
For further information, see:
lightweight (yet rigorous) method that complements classical
exhaustive verification techniques (such as model checking and
theorem proving). RV works by analyzing the trace of the system's
actual execution, comparing it against a formal specification of
the system behavior.
For further information, see: