Package rv

• rv(1) — Runtime Verification
• rv-list(1) — List available monitors
• rv-mon(1) — List available monitors
• rv-mon-sched(1) — Scheduler monitors collection
• rv-mon-wip(1) — Wakeup In Preemptive monitor
• rv-mon-wwnr(1) — Wakeup While Not Running monitor