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.
- -h, --help
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>
Daniel Bristot de Oliveira <firstname.lastname@example.org>
Report bugs to <email@example.com> and <firstname.lastname@example.org>
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).
rv-list(1), rv-mon(1), rv-mon-wip(1), rv-mon-wwnr(1).