Information for RPM rv-6.4.13-200.1.hs.el8.aarch64.rpm
ID | 522192 | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||||||||
Version | 6.4.13 | ||||||||||||||||||||||
Release | 200.1.hs.el8 | ||||||||||||||||||||||
Epoch | |||||||||||||||||||||||
Arch | aarch64 | ||||||||||||||||||||||
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-08-30 18:42:06 GMT | ||||||||||||||||||||||
Size | 27.29 KB | ||||||||||||||||||||||
5a83755faef6eb952aee06eaa8cfc1be | |||||||||||||||||||||||
License | GPLv2 | ||||||||||||||||||||||
Buildroot | hyperscale8s-packages-main-el8-build-193863-1101279 | ||||||||||||||||||||||
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 |