blob: 6d127cdb00dd4c9a8736a2cafa173ba94f931566 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# SPDX-License-Identifier: GPL-2.0-only
#
menuconfig RV
bool "Runtime Verification"
depends on TRACING
help
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.
|