Information for RPM rv-5.14.0-347.el9s.x86_64.rpm
ID | 511778 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||
Version | 5.14.0 | ||||||||||||||||
Release | 347.el9s | ||||||||||||||||
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-03 14:53:52 GMT | ||||||||||||||||
Size | 4.90 MB | ||||||||||||||||
4277e348bb9c6d24d71e233717ad5b8e | |||||||||||||||||
License | GPLv2 | ||||||||||||||||
Buildroot | virt9s-tdx-devel-el9s-build-192277-1085000 | ||||||||||||||||
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 |