rv - Man Page
Runtime Verification
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
Linux kernel RV documentation: <https://www.kernel.org/doc/html/latest/trace/rv/index.html>
Author
Daniel Bristot de Oliveira <bristot@kernel.org>
Reporting Bugs
Report bugs to <linux-kernel@vger.kernel.org> and <linux-trace-devel@vger.kernel.org>
License
rv is Free Software licensed under the GNU GPLv2
Copying
Copyright (C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).