Jump to letter: [
3ABCDEFGHIJKLMNOPQRSTUVWXYZ
]
rv - 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.
Packages
| rv-5.14.0-362.18.1.vz9.40.9.x86_64
[4.4 MiB] |
Changelog
by Konstantin Khorenko (2024-05-13):
- dm: ploop: arithemtic overflow in ploop (Alexey Kuznetsov)
- net: zerocopy for unix socket, fixup again (Alexey Kuznetsov) [VSTOR-84977]
- fs/fuse: pcs: corrupted writes in encrypted journalless mode (Alexey Kuznetsov) [VSTOR-84977]
|