RV: Runtime Verification
262.21 KB
built 2026-10-23 08:16:08 GMT
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
to analyze the logical and timing behavior of Linux.
Dependencies
14 totalRequires12
- ld-linux-riscv64-lp64d.so.1()(64bit)
- ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.27)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libtraceevent.so.1()(64bit)
- libtracefs.so.1()(64bit)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1
- rtld(GNU_HASH)
Provides2
- rv = 7.2.11-300.rv64.fc45
- rv(riscv-64) = 7.2.11-300.rv64.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
8Name  |
Size |
|---|---|
| /usr/bin/rv | 22.16 KB |
| /usr/share/man/man1/rv-list.1.gz | 801.00 B |
| /usr/share/man/man1/rv-mon-sched.1.gz | 1.39 KB |
| /usr/share/man/man1/rv-mon-stall.1.gz | 1.09 KB |
| /usr/share/man/man1/rv-mon-wip.1.gz | 1.08 KB |
| /usr/share/man/man1/rv-mon-wwnr.1.gz | 1.05 KB |
| /usr/share/man/man1/rv-mon.1.gz | 982.00 B |
| /usr/share/man/man1/rv.1.gz | 1.05 KB |
Files 1–8 of 8
Component of
buildroots that installed this RPMNo Buildroots