Fedora Packages

rv Subpackage of kernel-tools

RV: Runtime Verification

Runtime Verification (RV) is a lightweight (yet rigorous) method that complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach for complex systems. The rv tool is the interface for a collection of monitors that aim analysing the logical and timing behavior of Linux.

Releases Overview

Release Stable Testing
Fedora 39 6.5.4-300.fc39 -
File a new bug report »
Package Info
  • Upstream: http://www.kernel.org/
  • License(s): GPL-2.0-only
  • Maintainers: jforbes, patrickt, jwboyer, pbrobinson, acaringi

Related Packages

You can contact the maintainers of this package via email at kernel-tools dash maintainers at fedoraproject dot org.

Sources on Pagure