Runtime Verification

modulename: rv.ko

configname: CONFIG_RV

Linux Kernel Configuration
└─>Kernel hacking
└─>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:
source code: