Information for RPM rv-5.14.0-335.el9s.aarch64.rpm
ID | 496390 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||
Version | 5.14.0 | ||||||||||||||||
Release | 335.el9s | ||||||||||||||||
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-07-07 14:45:06 GMT | ||||||||||||||||
Size | 4.71 MB | ||||||||||||||||
e6b9f96b87dd74950eb03790f5ed5014 | |||||||||||||||||
License | GPLv2 | ||||||||||||||||
Buildroot | virt9s-tdx-devel-el9s-build-190378-1074259 | ||||||||||||||||
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 |