Greg Kroah-Hartman
598cf27219
Link: https://lore.kernel.org/r/20260217200002.683975158@linuxfoundation.org Tested-by: Florian Fainelli <florian.fainelli@broadcom.com> Tested-by: Takeshi Ogasawara <takeshi.ogasawara@futuring-girl.com> Tested-by: Peter Schneider <pschneider1968@googlemail.com> Tested-by: Jon Hunter <jonathanh@nvidia.com> Tested-by: Salvatore Bonaccorso <carnil@debian.org> Tested-by: Brett A C Sheffield <bacs@librecast.net> Tested-by: Mark Brown <broonie@kernel.org> Tested-by: Luna Jernberg <droidbittin@gmail.com> Tested-by: Ronald Warsow <rwarsow@gmx.de> Tested-by: Justin M. Forbes <jforbes@fedoraproject.org> Tested-by: Ron Economos <re@w6rz.net> Tested-by: Miguel Ojeda <ojeda@kernel.org> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
64 lines
1.1 KiB
ReStructuredText
64 lines
1.1 KiB
ReStructuredText
.. SPDX-License-Identifier: GPL-2.0
|
|
|
|
==
|
|
rv
|
|
==
|
|
--------------------
|
|
Runtime Verification
|
|
--------------------
|
|
|
|
:Manual section: 1
|
|
|
|
SYNOPSIS
|
|
========
|
|
|
|
**rv** *COMMAND* [*OPTIONS*]
|
|
|
|
DESCRIPTION
|
|
===========
|
|
|
|
Runtime Verification (**RV**) is a lightweight (yet rigorous) method
|
|
for formal verification with a practical approach for complex systems.
|
|
Instead of relying on a fine-grained model of a system (e.g., a
|
|
re-implementation a instruction level), RV works by analyzing the trace
|
|
of the system's actual execution, comparing it against a formal
|
|
specification of the system behavior.
|
|
|
|
The **rv** tool provides the interface for a collection of runtime
|
|
verification (rv) monitors.
|
|
|
|
COMMANDS
|
|
========
|
|
|
|
**list**
|
|
|
|
List all available monitors.
|
|
|
|
**mon**
|
|
|
|
Run monitor.
|
|
|
|
OPTIONS
|
|
=======
|
|
|
|
**-h**, **--help**
|
|
|
|
Display the help text.
|
|
|
|
For other options, see the man page for the corresponding command.
|
|
|
|
SEE ALSO
|
|
========
|
|
|
|
**rv-list**\(1), **rv-mon**\(1)
|
|
|
|
Linux kernel *RV* documentation:
|
|
<https://www.kernel.org/doc/html/latest/trace/rv/index.html>
|
|
|
|
AUTHOR
|
|
======
|
|
|
|
Daniel Bristot de Oliveira <bristot@kernel.org>
|
|
|
|
.. include:: common_appendix.rst
|