1 RV: Runtime Verification
2
3 Runtime Verification (RV) is a lightweight (ye
4 complements classical exhaustive verification
5 checking and theorem proving) with a more prac
6 complex systems.
7
8 The rv tool is the interface for a collection
9 analysing the logical and timing behavior of L
10
11 Installing RV
12
13 RV depends on the following libraries and tool
14
15 - libtracefs
16 - libtraceevent
17
18 It also depends on python3-docutils to compile
19
20 For development, we suggest the following step
21
22 $ git clone git://git.kernel.org/pub/scm/lib
23 $ cd libtraceevent/
24 $ make
25 $ sudo make install
26 $ cd ..
27 $ git clone git://git.kernel.org/pub/scm/lib
28 $ cd libtracefs/
29 $ make
30 $ sudo make install
31 $ cd ..
32 $ cd $rv_src
33 $ make
34 $ sudo make install
35
36 For further information, please see rv manpage
37 Runtime Verification:
38 Documentation/trace/rv/runtime-verificatio
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.