1 .. SPDX-License-Identifier: GPL-2.0 2 3 == 4 rv 5 == 6 -------------------- 7 Runtime Verification 8 -------------------- 9 10 :Manual section: 1 11 12 SYNOPSIS 13 ======== 14 15 **rv** *COMMAND* [*OPTIONS*] 16 17 DESCRIPTION 18 =========== 19 20 Runtime Verification (**RV**) is a lightweight (yet rigorous) method 21 for formal verification with a practical approach for complex systems. 22 Instead of relying on a fine-grained model of a system (e.g., a 23 re-implementation a instruction level), RV works by analyzing the trace 24 of the system's actual execution, comparing it against a formal 25 specification of the system behavior. 26 27 The **rv** tool provides the interface for a collection of runtime 28 verification (rv) monitors. 29 30 COMMANDS 31 ======== 32 33 **list** 34 35 List all available monitors. 36 37 **mon** 38 39 Run monitor. 40 41 OPTIONS 42 ======= 43 44 **-h**, **--help** 45 46 Display the help text. 47 48 For other options, see the man page for the corresponding command. 49 50 SEE ALSO 51 ======== 52 53 **rv-list**\(1), **rv-mon**\(1) 54 55 Linux kernel *RV* documentation: 56 <https://www.kernel.org/doc/html/latest/trace/rv/index.html> 57 58 AUTHOR 59 ====== 60 61 Daniel Bristot de Oliveira <bristot@kernel.org> 62 63 .. include:: common_appendix.rst
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.