Information for RPM rv-6.4.13-200.1.hs.el8.x86_64.rpm
ID | 522176 | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||||||||
Version | 6.4.13 | ||||||||||||||||||||||
Release | 200.1.hs.el8 | ||||||||||||||||||||||
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-08-30 18:41:19 GMT | ||||||||||||||||||||||
Size | 26.96 KB | ||||||||||||||||||||||
58630e9e865c8e2035a5aa3950ba2468 | |||||||||||||||||||||||
License | GPLv2 | ||||||||||||||||||||||
Buildroot | hyperscale8s-packages-main-el8-build-193862-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 |