64 lines · plain
1.. SPDX-License-Identifier: GPL-2.02 3==4rv5==6--------------------7Runtime Verification8--------------------9 10:Manual section: 111 12SYNOPSIS13========14 15**rv** *COMMAND* [*OPTIONS*]16 17DESCRIPTION18===========19 20Runtime Verification (**RV**) is a lightweight (yet rigorous) method21for formal verification with a practical approach for complex systems.22Instead of relying on a fine-grained model of a system (e.g., a23re-implementation a instruction level), RV works by analyzing the trace24of the system's actual execution, comparing it against a formal25specification of the system behavior.26 27The **rv** tool provides the interface for a collection of runtime28verification (rv) monitors.29 30COMMANDS31========32 33**list**34 35 List all available monitors.36 37**mon**38 39 Run monitor.40 41OPTIONS42=======43 44**-h**, **--help**45 46 Display the help text.47 48For other options, see the man page for the corresponding command.49 50SEE ALSO51========52 53**rv-list**\(1), **rv-mon**\(1)54 55Linux kernel *RV* documentation:56<https://www.kernel.org/doc/html/latest/trace/rv/index.html>57 58AUTHOR59======60 61Daniel Bristot de Oliveira <bristot@kernel.org>62 63.. include:: common_appendix.rst64