39 lines · plain
1RV: Runtime Verification2 3Runtime Verification (RV) is a lightweight (yet rigorous) method that4complements classical exhaustive verification techniques (such as model5checking and theorem proving) with a more practical approach for6complex systems.7 8The rv tool is the interface for a collection of monitors that aim9analysing the logical and timing behavior of Linux.10 11Installing RV12 13RV depends on the following libraries and tools:14 15 - libtracefs16 - libtraceevent17 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.git23 $ cd libtraceevent/24 $ make25 $ sudo make install26 $ cd ..27 $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtracefs.git28 $ cd libtracefs/29 $ make30 $ sudo make install31 $ cd ..32 $ cd $rv_src33 $ make34 $ sudo make install35 36For further information, please see rv manpage and the kernel documentation:37 Runtime Verification:38 Documentation/trace/rv/runtime-verification.rst39