Information for RPM rv-6.5.4-300.fc39.riscv64.rpm
ID | 1040686 | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | rv | ||||||||||||||||||||||
Version | 6.5.4 | ||||||||||||||||||||||
Release | 300.fc39 | ||||||||||||||||||||||
Epoch | |||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||
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-09-22 06:57:05 GMT | ||||||||||||||||||||||
Size | 28.49 KB | ||||||||||||||||||||||
67459cbe59d2504e6b819cde21f93028 | |||||||||||||||||||||||
License | GPL-2.0-only | ||||||||||||||||||||||
Buildroot | f39-build-730303-102658 | ||||||||||||||||||||||
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 |