rv - Man Page

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

List all available monitors.

mon

Run monitor.

-h,  --help

Display the help text.

For other options, see the man page for the corresponding command.

rv-list(1), rv-mon(1)

Linux kernel RV documentation: < <https://www.kernel.org/doc/html/latest/trace/rv/index.html> >

Daniel Bristot de Oliveira < <bristot@kernel.org> >

Report bugs to < <linux-kernel@vger.kernel.org> > and < <linux-trace-devel@vger.kernel.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).