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
21 for formal verification with a practical appro
22 Instead of relying on a fine-grained model of
23 re-implementation a instruction level), RV wor
24 of the system's actual execution, comparing it
25 specification of the system behavior.
26
27 The **rv** tool provides the interface for a c
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 co
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/
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.