CONFIG_RV: Runtime Verification

General informations

The Linux kernel configuration item CONFIG_RV:

• prompt: Runtime Verification
• type: bool
• depends on: CONFIG_TRACING
• defined in kernel/trace/rv/Kconfig
• found in Linux kernels: 6.0–6.12, 6.13-rc+HEAD

Help text

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: Documentation/trace/rv/runtime-verification.rst

Hardware

LKDDb

Raw data from LKDDb:

• (none)

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from Google (and ads)

Custom Search

Popular queries: