Section 1 · User commands

rv.1

Package: rv

RV

NAME
SYNOPSIS
DESCRIPTION
COMMANDS
OPTIONS
SEE ALSO
AUTHOR
REPORTING BUGS
LICENSE
COPYING

NAME

rv − 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.

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