tools/verification/rv/README.txt

   1 RV: Runtime Verification
   2
   3 Runtime Verification (RV) is a lightweight (yet rigorous) method that
   4 complements classical exhaustive verification techniques (such as model
   5 checking and theorem proving) with a more practical approach for
   6 complex systems.
   7
   8 The rv tool is the interface for a collection of monitors that aim
   9 analysing the logical and timing behavior of Linux.
  10
  11 Installing RV
  12
  13 RV depends on the following libraries and tools:
  14
  15  - libtracefs
  16  - libtraceevent
  17
  18 It also depends on python3-docutils to compile man pages.
  19
  20 For 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
  36 For further information, please see rv manpage and the kernel documentation:
  37   Runtime Verification:
  38     Documentation/trace/rv/runtime-verification.rst