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