Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - R index

CONFIG_RV: Runtime Verification

General informations

The Linux kernel configuration item CONFIG_RV:

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



Raw data from LKDDb:


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

The data is retrived from:

Automatic links from Google (and ads)

Custom Search

Popular queries:

Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - R index

Automatically generated (in year 2024). See also LKDDb sources on GitLab