E3sphinx.addnodesdocument)}( rawsourcechildren]( translations LanguagesNode)}(hhh](h pending_xref)}(hhh]docutils.nodesTextChinese (Simplified)}parenthsba attributes}(ids]classes]names]dupnames]backrefs] refdomainstdreftypedoc reftarget/translations/zh_CN/tools/rv/rvmodnameN classnameN refexplicitutagnamehhh ubh)}(hhh]hChinese (Traditional)}hh2sbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget/translations/zh_TW/tools/rv/rvmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hItalian}hhFsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget/translations/it_IT/tools/rv/rvmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hJapanese}hhZsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget/translations/ja_JP/tools/rv/rvmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hKorean}hhnsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget/translations/ko_KR/tools/rv/rvmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hSpanish}hhsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget/translations/sp_SP/tools/rv/rvmodnameN classnameN refexplicituh1hhh ubeh}(h]h ]h"]h$]h&]current_languageEnglishuh1h hh _documenthsourceNlineNubhcomment)}(h SPDX-License-Identifier: GPL-2.0h]h SPDX-License-Identifier: GPL-2.0}hhsbah}(h]h ]h"]h$]h&] xml:spacepreserveuh1hhhhhh9/var/lib/git/docbuild/linux/Documentation/tools/rv/rv.rsthKubhsection)}(hhh](htitle)}(hrvh]hrv}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(hRuntime Verificationh]hRuntime Verification}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhhhhhKubh field_list)}(hhh]hfield)}(hhh](h field_name)}(hManual sectionh]hManual section}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhhhKubh field_body)}(h1 h]h paragraph)}(h1h]h1}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK hhubah}(h]h ]h"]h$]h&]uh1hhhubeh}(h]h ]h"]h$]h&]uh1hhhhK hhhhubah}(h]h ]h"]h$]h&]uh1hhhhhhhhK ubh)}(hhh](h)}(hSYNOPSISh]hSYNOPSIS}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhhhK ubh)}(h**rv** *COMMAND* [*OPTIONS*]h](hstrong)}(h**rv**h]hrv}(hj3hhhNhNubah}(h]h ]h"]h$]h&]uh1j1hj-ubh }(hj-hhhNhNubhemphasis)}(h *COMMAND*h]hCOMMAND}(hjGhhhNhNubah}(h]h ]h"]h$]h&]uh1jEhj-ubh [}(hj-hhhNhNubjF)}(h *OPTIONS*h]hOPTIONS}(hjYhhhNhNubah}(h]h ]h"]h$]h&]uh1jEhj-ubh]}(hj-hhhNhNubeh}(h]h ]h"]h$]h&]uh1hhhhKhjhhubeh}(h]synopsisah ]h"]synopsisah$]h&]uh1hhhhhhhhK ubh)}(hhh](h)}(h DESCRIPTIONh]h DESCRIPTION}(hj|hhhNhNubah}(h]h ]h"]h$]h&]uh1hhjyhhhhhKubh)}(hXyRuntime Verification (**RV**) is a lightweight (yet rigorous) method for formal verification with a practical approach for complex systems. Instead of relying on a fine-grained model of a system (e.g., a re-implementation a instruction level), RV works by analyzing the trace of the system's actual execution, comparing it against a formal specification of the system behavior.h](hRuntime Verification (}(hjhhhNhNubj2)}(h**RV**h]hRV}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubhX_) is a lightweight (yet rigorous) method for formal verification with a practical approach for complex systems. Instead of relying on a fine-grained model of a system (e.g., a re-implementation a instruction level), RV works by analyzing the trace of the system’s actual execution, comparing it against a formal specification of the system behavior.}(hjhhhNhNubeh}(h]h ]h"]h$]h&]uh1hhhhKhjyhhubh)}(h^The **rv** tool provides the interface for a collection of runtime verification (rv) monitors.h](hThe }(hjhhhNhNubj2)}(h**rv**h]hrv}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubhT tool provides the interface for a collection of runtime verification (rv) monitors.}(hjhhhNhNubeh}(h]h ]h"]h$]h&]uh1hhhhKhjyhhubeh}(h] descriptionah ]h"] descriptionah$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(hCOMMANDSh]hCOMMANDS}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhhhKubh)}(h**list**h]j2)}(hjh]hlist}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubah}(h]h ]h"]h$]h&]uh1hhhhK!hjhhubh block_quote)}(hList all available monitors. h]h)}(hList all available monitors.h]hList all available monitors.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK#hjubah}(h]h ]h"]h$]h&]uh1jhhhK#hjhhubh)}(h**mon**h]j2)}(hjh]hmon}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubah}(h]h ]h"]h$]h&]uh1hhhhK%hjhhubj)}(h Run monitor. h]h)}(h Run monitor.h]h Run monitor.}(hj/hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK'hj+ubah}(h]h ]h"]h$]h&]uh1jhhhK'hjhhubeh}(h]commandsah ]h"]commandsah$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(hOPTIONSh]hOPTIONS}(hjNhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjKhhhhhK*ubh)}(h**-h**, **--help**h](j2)}(h**-h**h]h-h}(hj`hhhNhNubah}(h]h ]h"]h$]h&]uh1j1hj\ubh, }(hj\hhhNhNubj2)}(h **--help**h]h--help}(hjrhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hj\ubeh}(h]h ]h"]h$]h&]uh1hhhhK,hjKhhubj)}(hDisplay the help text. h]h)}(hDisplay the help text.h]hDisplay the help text.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK.hjubah}(h]h ]h"]h$]h&]uh1jhhhK.hjKhhubh)}(hBFor other options, see the man page for the corresponding command.h]hBFor other options, see the man page for the corresponding command.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK0hjKhhubeh}(h]optionsah ]h"]optionsah$]h&]uh1hhhhhhhhK*ubh)}(hhh](h)}(hSEE ALSOh]hSEE ALSO}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhhhK3ubh)}(h**rv-list**\(1), **rv-mon**\(1)h](j2)}(h **rv-list**h]hrv-list}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubh(1), }(hjhhhNhNubj2)}(h **rv-mon**h]hrv-mon}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubh(1)}(hjhhhNhNubeh}(h]h ]h"]h$]h&]uh1hhhhK5hjhhubh)}(h]Linux kernel *RV* documentation: h](h Linux kernel }(hjhhhNhNubjF)}(h*RV*h]hRV}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1jEhjubh documentation: <}(hjhhhNhNubh reference)}(h:https://www.kernel.org/doc/html/latest/trace/rv/index.htmlh]h:https://www.kernel.org/doc/html/latest/trace/rv/index.html}(hjhhhNhNubah}(h]h ]h"]h$]h&]refurijuh1j hjubh>}(hjhhhNhNubeh}(h]h ]h"]h$]h&]uh1hhhhK7hjhhubeh}(h]see-alsoah ]h"]see alsoah$]h&]uh1hhhhhhhhK3ubh)}(hhh](h)}(hAUTHORh]hAUTHOR}(hj3hhhNhNubah}(h]h ]h"]h$]h&]uh1hhj0hhhhhK;ubh)}(h/Daniel Bristot de Oliveira h](hDaniel Bristot de Oliveira <}(hjAhhhNhNubj)}(hbristot@kernel.orgh]hbristot@kernel.org}(hjIhhhNhNubah}(h]h ]h"]h$]h&]refurimailto:bristot@kernel.orguh1j hjAubh>}(hjAhhhNhNubeh}(h]h ]h"]h$]h&]uh1hhhhK=hj0hhubeh}(h]authorah ]h"]authorah$]h&]uh1hhhhhhhhK;ubh)}(hhh](h)}(hREPORTING BUGSh]hREPORTING BUGS}(hjnhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjkhhh*Documentation/tools/rv/common_appendix.rsthKubh)}(hUReport bugs to and h](hReport bugs to <}(hj}hhhNhNubj)}(hlinux-kernel@vger.kernel.orgh]hlinux-kernel@vger.kernel.org}(hjhhhNhNubah}(h]h ]h"]h$]h&]refuri#mailto:linux-kernel@vger.kernel.orguh1j hj}ubh> and <}(hj}hhhNhNubj)}(h!linux-trace-devel@vger.kernel.orgh]h!linux-trace-devel@vger.kernel.org}(hjhhhNhNubah}(h]h ]h"]h$]h&]refuri(mailto:linux-trace-devel@vger.kernel.orguh1j hj}ubh>}(hj}hhhNhNubeh}(h]h ]h"]h$]h&]uh1hhj|hKhjkhhubeh}(h]reporting-bugsah ]h"]reporting bugsah$]h&]uh1hhhhhhj|hKubh)}(hhh](h)}(hLICENSEh]hLICENSE}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhj|hKubh)}(h4**rv** is Free Software licensed under the GNU GPLv2h](j2)}(h**rv**h]hrv}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1j1hjubh. is Free Software licensed under the GNU GPLv2}(hjhhhNhNubeh}(h]h ]h"]h$]h&]uh1hhj|hK hjhhubeh}(h]licenseah ]h"]licenseah$]h&]uh1hhhhhhj|hKubh)}(hhh](h)}(hCOPYINGh]hCOPYING}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhj|hK ubh)}(hwCopyright \(C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).h]hwCopyright (C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhj|hKhjhhubeh}(h]copyingah ]h"]copyingah$]h&]uh1hhhhhhj|hK ubeh}(h]runtime-verificationah ]h"]runtime verificationah$]h&]uh1hhhhhhhhKubeh}(h]rvah ]h"]rvah$]h&]uh1hhhhhhhhKubeh}(h]h ]h"]h$]h&]sourcehuh1hcurrent_sourceN current_lineNsettingsdocutils.frontendValues)}(hN generatorN datestampN source_linkN source_urlN toc_backlinksentryfootnote_backlinksK sectnum_xformKstrip_commentsNstrip_elements_with_classesN strip_classesN report_levelK halt_levelKexit_status_levelKdebugNwarning_streamN tracebackinput_encoding utf-8-siginput_encoding_error_handlerstrictoutput_encodingutf-8output_encoding_error_handlerjJerror_encodingutf-8error_encoding_error_handlerbackslashreplace language_codeenrecord_dependenciesNconfigN id_prefixhauto_id_prefixid dump_settingsNdump_internalsNdump_transformsNdump_pseudo_xmlNexpose_internalsNstrict_visitorN_disable_configN_sourceh _destinationN _config_files]7/var/lib/git/docbuild/linux/Documentation/docutils.confafile_insertion_enabled raw_enabledKline_length_limitM'pep_referencesN pep_base_urlhttps://peps.python.org/pep_file_url_templatepep-%04drfc_referencesN rfc_base_url&https://datatracker.ietf.org/doc/html/ tab_widthKtrim_footnote_reference_spacesyntax_highlightlong smart_quotessmartquotes_locales]character_level_inline_markupdoctitle_xform docinfo_xformKsectsubtitle_xform image_loadinglinkembed_stylesheetcloak_email_addressessection_self_linkenvNubreporterNindirect_targets]substitution_defs}substitution_names}refnames}refids}nameids}(j$j!jjjvjsjjjHjEjjj-j*jhjejjjjjju nametypes}(j$jjvjjHjj-jhjjjuh}(j!hjhjsjjjyjEjjjKj*jjej0jjkjjjju footnote_refs} citation_refs} autofootnotes]autofootnote_refs]symbol_footnotes]symbol_footnote_refs] footnotes] citations]autofootnote_startKsymbol_footnote_startK id_counter collectionsCounter}Rparse_messages]transform_messages] transformerN include_log]Documentation/tools/rv/rv.rst(NNNNta decorationNhhub.