1RV(1)                                                                    RV(1)
2
3
4

NAME

6       rv - Runtime Verification
7

SYNOPSIS

9       rv COMMAND [OPTIONS]
10

DESCRIPTION

12       Runtime  Verification  (RV)  is a lightweight (yet rigorous) method for
13       formal verification with a practical approach for complex systems.  In‐
14       stead of relying on a fine-grained model of a system (e.g., a re-imple‐
15       mentation a instruction level), RV works by analyzing the trace of  the
16       system's  actual execution, comparing it against a formal specification
17       of the system behavior.
18
19       The rv tool provides the interface for a collection of runtime  verifi‐
20       cation (rv) monitors.
21

COMMANDS

23       list
24          List all available monitors.
25
26       mon
27          Run monitor.
28

OPTIONS

30       -h, --help
31          Display the help text.
32
33       For other options, see the man page for the corresponding command.
34

SEE ALSO

36       rv-list(1), rv-mon(1)
37
38       Linux           kernel           RV          documentation:          <‐
39       https://www.kernel.org/doc/html/latest/trace/rv/index.html>
40

AUTHOR

42       Daniel Bristot de Oliveira <bristot@kernel.org>
43

REPORTING BUGS

45       Report    bugs     to     <linux-kernel@vger.kernel.org>     and     <‐
46       linux-trace-devel@vger.kernel.org>
47

LICENSE

49       rv is Free Software licensed under the GNU GPLv2
50

COPYING

52       Copyright  (C)  2022 Red Hat, Inc. Free use of this software is granted
53       under the terms of the GNU Public License (GPL).
54
55
56
57
58                                                                         RV(1)