1# SPDX-License-Identifier: GPL-2.0-only 2# 3menuconfig RV 4 bool "Runtime Verification" 5 depends on TRACING 6 help 7 Enable the kernel runtime verification infrastructure. RV is a 8 lightweight (yet rigorous) method that complements classical 9 exhaustive verification techniques (such as model checking and 10 theorem proving). RV works by analyzing the trace of the system's 11 actual execution, comparing it against a formal specification of 12 the system behavior. 13