Information for RPM rv-5.14.0-330.el9sopt_903.isa.1.x86_64.rpm
ID | 500522 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||
Version | 5.14.0 | ||||||||||||||||
Release | 330.el9sopt_903.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-07-14 14:54:58 GMT | ||||||||||||||||
Size | 4.41 MB | ||||||||||||||||
1fc8f032758286b990ca5e425715e554 | |||||||||||||||||
License | GPLv2 | ||||||||||||||||
Buildroot | isa9s-packages-optimized-el9sopt-build-190725-1077483 | ||||||||||||||||
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 |