Information for RPM rv-5.14.0-330.el9sopt_902.isa.1.x86_64.rpm
ID | 492211 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||
Version | 5.14.0 | ||||||||||||||||
Release | 330.el9sopt_902.isa.1 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | x86_64 | ||||||||||||||||
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. | ||||||||||||||||
Build Time | 2023-06-22 09:03:09 GMT | ||||||||||||||||
Size | 4.41 MB | ||||||||||||||||
0f92e1cbf9e0b9c7ae3698e68ccf97da | |||||||||||||||||
License | GPLv2 | ||||||||||||||||
Buildroot | isa9s-packages-optimized-el9sopt-build-189490-1068635 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of | No Buildroots |