- Manual section:
rv COMMAND [OPTIONS]
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.
List all available monitors.
Display the help text.
For other options, see the man page for the corresponding command.
Linux kernel RV documentation: <https://www.kernel.org/doc/html/latest/trace/rv/index.html>
rv is Free Software licensed under the GNU GPLv2
Copyright (C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).