RV: Runtime Verification
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.
Version: 6.9.0
General Commands | |
| rv | Runtime Verification |
| rv-list | List available monitors |
| rv-mon | List available monitors |
| rv-mon-wip | Wakeup In Preemptive monitor |
| rv-mon-wwnr | Wakeup While Not Running monitor |