RV(1)

💖 RV(1) — the runtime verification girlies' manual 💖

okay bestie, so you opened the manual page for rv, from the General Commands Manual section, and honestly? you're about to have the best time. let's go 🫶

---

✨ NAME ✨

rv — Runtime Verification. that's it, that's the name, no notes 💅

---

🌸 SYNOPSIS 🌸

rv COMMAND [OPTIONS]

like. that's the whole vibe. you pick a COMMAND, you sprinkle on some [OPTIONS], you slay ✨

---

🦋 DESCRIPTION 🦋

okay so Runtime Verification — RV for short — is a lightweight (but also rigorous, she contains multitudes) method for formal verification, with a practical approach built for complex systems. very "main character who's also academically gifted" energy ngl 😌

here's the thing though — instead of relying on a fine-grained model of a system (think like, a re-implementation at the instruction level, which is so much work 🙈), RV works by analyzing the trace of the system's actual execution, and comparing it against a formal specification of the system behavior. so it watches what your system actually did and holds it up against the spec. vibe check, but formal 🔥

and the rv tool? it's the interface for a whole collection of runtime verification (rv) monitors. one tool, many monitors, all iconic 👑

---

💜 COMMANDS 💜

• list — List all available monitors. like a lil roster of everyone invited to the party 🎀
• mon — Run monitor. go time, bestie 🔥

---

⭐ OPTIONS ⭐

• -h, --help — Display the help text. when in doubt, ask for help, that's self care fr fr 🫶

for other options, see the man page for the corresponding command. i'm not gatekeeping — the info is right there, iykyk 💅

---

🌈 SEE ALSO 🌈

• rv-list(1)
• rv-mon(1)
• Linux kernel RV documentation: <https://www.kernel.org/doc/html/latest/trace/rv/index.html> — literally the whole lore drop, go read it, obsessed 📖✨

---

🧚 AUTHOR 🧚

Daniel Bristot de Oliveira <bristot@kernel.org> — ty for your service king 👑

---

🍓 REPORTING BUGS 🍓

found a bug? don't suffer in silence, tell someone 💀 report bugs to <linux-kernel@vger.kernel.org> and <linux-trace-devel@vger.kernel.org>. they wanna hear it, fr fr 📬

---

👑 LICENSE 👑

rv is Free Software licensed under the GNU GPLv2. free as in freedom, no cap 🦋

---

💖 COPYING 💖

Copyright (C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).

---

and that's the whole page bestie!! this was RV(1) from the General Commands Manual, and yes she signed her own name at the bottom because she's that girl 💅✨ mwah, go verify some runtimes 🫶🎀