[ol9_appstream] rv-5.14.0-362.24.1.0.1.el9_3.x86_64

Name:rv
Version:5.14.0
Release:362.24.1.0.1.el9_3
Architecture:x86_64
Group:Unspecified
Size:32447
License:GPLv2
RPM: rv-5.14.0-362.24.1.0.1.el9_3.x86_64.rpm
Source RPM: kernel-5.14.0-362.24.1.0.1.el9_3.src.rpm
Build Date:Tue Apr 02 2024
Build Host:build-ol9-x86_64.oracle.com
Vendor:Oracle America
URL:https://www.kernel.org/
Summary:RV: Runtime Verification
Description:
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.

Changelog (Show File list) (Show related packages)