README.txt
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
