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 Rawhide 6.7.0-0.rc4.git0.1.fc40 -
Fedora 39 6.6.3-200.fc39 -
Fedora 38 6.6.3-100.fc38 -
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