Package rv

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