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
Related Packages
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