1RV: Runtime Verification
2
3Runtime Verification (RV) is a lightweight (yet rigorous) method that
4complements classical exhaustive verification techniques (such as model
5checking and theorem proving) with a more practical approach for
6complex systems.
7
8The rv tool is the interface for a collection of monitors that aim
9analysing the logical and timing behavior of Linux.
10
11Installing RV
12
13RV depends on the following libraries and tools:
14
15 - libtracefs
16 - libtraceevent
17
18It also depends on python3-docutils to compile man pages.
19
20For development, we suggest the following steps for compiling rtla:
21
22  $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtraceevent.git
23  $ cd libtraceevent/
24  $ make
25  $ sudo make install
26  $ cd ..
27  $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtracefs.git
28  $ cd libtracefs/
29  $ make
30  $ sudo make install
31  $ cd ..
32  $ cd $rv_src
33  $ make
34  $ sudo make install
35
36For further information, please see rv manpage and the kernel documentation:
37  Runtime Verification:
38    Documentation/trace/rv/runtime-verification.rst
39