€•|4Œsphinx.addnodes”Œdocument”“”)”}”(Œ rawsource”Œ”Œchildren”]”(Œ translations”Œ LanguagesNode”“”)”}”(hhh]”(hŒ pending_xref”“”)”}”(hhh]”Œdocutils.nodes”ŒText”“”ŒChinese (Simplified)”…””}”Œparent”hsbaŒ attributes”}”(Œids”]”Œclasses”]”Œnames”]”Œdupnames”]”Œbackrefs”]”Œ refdomain”Œstd”Œreftype”Œdoc”Œ reftarget”Œ/translations/zh_CN/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuŒtagname”hhh ubh)”}”(hhh]”hŒChinese (Traditional)”…””}”hh2sbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ/translations/zh_TW/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)”}”(hhh]”hŒItalian”…””}”hhFsbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ/translations/it_IT/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)”}”(hhh]”hŒJapanese”…””}”hhZsbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ/translations/ja_JP/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)”}”(hhh]”hŒKorean”…””}”hhnsbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ/translations/ko_KR/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)”}”(hhh]”hŒPortuguese (Brazilian)”…””}”hh‚sbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ/translations/pt_BR/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)”}”(hhh]”hŒSpanish”…””}”hh–sbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ/translations/sp_SP/tools/rv/rv”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubeh}”(h]”h ]”h"]”h$]”h&]”Œcurrent_language”ŒEnglish”uh1h hhŒ _document”hŒsource”NŒline”NubhŒcomment”“”)”}”(hŒ SPDX-License-Identifier: GPL-2.0”h]”hŒ SPDX-License-Identifier: GPL-2.0”…””}”hh·sbah}”(h]”h ]”h"]”h$]”h&]”Œ xml:space”Œpreserve”uh1hµhhh²hh³Œ9/var/lib/git/docbuild/linux/Documentation/tools/rv/rv.rst”h´KubhŒsection”“”)”}”(hhh]”(hŒtitle”“”)”}”(hŒrv”h]”hŒrv”…””}”(hhÏh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhhÊh²hh³hÇh´KubhÉ)”}”(hhh]”(hÎ)”}”(hŒRuntime Verification”h]”hŒRuntime Verification”…””}”(hhàh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhhÝh²hh³hÇh´KubhŒ field_list”“”)”}”(hhh]”hŒfield”“”)”}”(hhh]”(hŒ field_name”“”)”}”(hŒManual section”h]”hŒManual section”…””}”(hhúh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1høhhõh³hÇh´KubhŒ field_body”“”)”}”(hŒ1 ”h]”hŒ paragraph”“”)”}”(hŒ1”h]”hŒ1”…””}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K hj ubah}”(h]”h ]”h"]”h$]”h&]”uh1jhhõubeh}”(h]”h ]”h"]”h$]”h&]”uh1hóh³hÇh´K hhðh²hubah}”(h]”h ]”h"]”h$]”h&]”uh1hîhhÝh²hh³hÇh´K ubhÉ)”}”(hhh]”(hÎ)”}”(hŒSYNOPSIS”h]”hŒSYNOPSIS”…””}”(hj3h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhj0h²hh³hÇh´K ubj)”}”(hŒ**rv** *COMMAND* [*OPTIONS*]”h]”(hŒstrong”“”)”}”(hŒ**rv**”h]”hŒrv”…””}”(hjGh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjAubhŒ ”…””}”(hjAh²hh³Nh´NubhŒemphasis”“”)”}”(hŒ *COMMAND*”h]”hŒCOMMAND”…””}”(hj[h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jYhjAubhŒ [”…””}”(hjAh²hh³Nh´NubjZ)”}”(hŒ *OPTIONS*”h]”hŒOPTIONS”…””}”(hjmh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jYhjAubhŒ]”…””}”(hjAh²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´Khj0h²hubeh}”(h]”Œsynopsis”ah ]”h"]”Œsynopsis”ah$]”h&]”uh1hÈhhÝh²hh³hÇh´K ubhÉ)”}”(hhh]”(hÎ)”}”(hŒ DESCRIPTION”h]”hŒ DESCRIPTION”…””}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjh²hh³hÇh´Kubj)”}”(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]”(hŒRuntime Verification (”…””}”(hjžh²hh³Nh´NubjF)”}”(hŒ**RV**”h]”hŒRV”…””}”(hj¦h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjžubhX_) 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.”…””}”(hjžh²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´Khjh²hubj)”}”(hŒ^The **rv** tool provides the interface for a collection of runtime verification (rv) monitors.”h]”(hŒThe ”…””}”(hj¾h²hh³Nh´NubjF)”}”(hŒ**rv**”h]”hŒrv”…””}”(hjÆh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhj¾ubhŒT tool provides the interface for a collection of runtime verification (rv) monitors.”…””}”(hj¾h²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´Khjh²hubeh}”(h]”Œ description”ah ]”h"]”Œ description”ah$]”h&]”uh1hÈhhÝh²hh³hÇh´KubhÉ)”}”(hhh]”(hÎ)”}”(hŒCOMMANDS”h]”hŒCOMMANDS”…””}”(hjéh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjæh²hh³hÇh´Kubj)”}”(hŒ**list**”h]”jF)”}”(hjùh]”hŒlist”…””}”(hjûh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhj÷ubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K!hjæh²hubhŒ block_quote”“”)”}”(hŒList all available monitors. ”h]”j)”}”(hŒList all available monitors.”h]”hŒList all available monitors.”…””}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K#hjubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K#hjæh²hubj)”}”(hŒ**mon**”h]”jF)”}”(hj*h]”hŒmon”…””}”(hj,h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhj(ubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K%hjæh²hubj)”}”(hŒ Run monitor. ”h]”j)”}”(hŒ Run monitor.”h]”hŒ Run monitor.”…””}”(hjCh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K'hj?ubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K'hjæh²hubeh}”(h]”Œcommands”ah ]”h"]”Œcommands”ah$]”h&]”uh1hÈhhÝh²hh³hÇh´KubhÉ)”}”(hhh]”(hÎ)”}”(hŒOPTIONS”h]”hŒOPTIONS”…””}”(hjbh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhj_h²hh³hÇh´K*ubj)”}”(hŒ**-h**, **--help**”h]”(jF)”}”(hŒ**-h**”h]”hŒ-h”…””}”(hjth²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjpubhŒ, ”…””}”(hjph²hh³Nh´NubjF)”}”(hŒ **--help**”h]”hŒ--help”…””}”(hj†h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjpubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K,hj_h²hubj)”}”(hŒDisplay the help text. ”h]”j)”}”(hŒDisplay the help text.”h]”hŒDisplay the help text.”…””}”(hjžh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K.hjšubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K.hj_h²hubj)”}”(hŒBFor other options, see the man page for the corresponding command.”h]”hŒBFor other options, see the man page for the corresponding command.”…””}”(hj²h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K0hj_h²hubeh}”(h]”Œoptions”ah ]”h"]”Œoptions”ah$]”h&]”uh1hÈhhÝh²hh³hÇh´K*ubhÉ)”}”(hhh]”(hÎ)”}”(hŒSEE ALSO”h]”hŒSEE ALSO”…””}”(hjËh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjÈh²hh³hÇh´K3ubj)”}”(hŒ**rv-list**\(1), **rv-mon**\(1)”h]”(jF)”}”(hŒ **rv-list**”h]”hŒrv-list”…””}”(hjÝh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjÙubhŒ(1), ”…””}”(hjÙh²hh³Nh´NubjF)”}”(hŒ **rv-mon**”h]”hŒrv-mon”…””}”(hjïh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjÙubhŒ(1)”…””}”(hjÙh²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K5hjÈh²hubj)”}”(hŒ]Linux kernel *RV* documentation: ”h]”(hŒ Linux kernel ”…””}”(hjh²hh³Nh´NubjZ)”}”(hŒ*RV*”h]”hŒRV”…””}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jYhjubhŒ documentation: <”…””}”(hjh²hh³Nh´NubhŒ reference”“”)”}”(hŒ:https://www.kernel.org/doc/html/latest/trace/rv/index.html”h]”hŒ:https://www.kernel.org/doc/html/latest/trace/rv/index.html”…””}”(hj#h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”j%uh1j!hjubhŒ>”…””}”(hjh²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K7hjÈh²hubeh}”(h]”Œsee-also”ah ]”h"]”Œsee also”ah$]”h&]”uh1hÈhhÝh²hh³hÇh´K3ubhÉ)”}”(hhh]”(hÎ)”}”(hŒAUTHOR”h]”hŒAUTHOR”…””}”(hjGh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjDh²hh³hÇh´K;ubj)”}”(hŒ/Daniel Bristot de Oliveira ”h]”(hŒDaniel Bristot de Oliveira <”…””}”(hjUh²hh³Nh´Nubj")”}”(hŒbristot@kernel.org”h]”hŒbristot@kernel.org”…””}”(hj]h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”Œmailto:bristot@kernel.org”uh1j!hjUubhŒ>”…””}”(hjUh²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³hÇh´K=hjDh²hubeh}”(h]”Œauthor”ah ]”h"]”Œauthor”ah$]”h&]”uh1hÈhhÝh²hh³hÇh´K;ubhÉ)”}”(hhh]”(hÎ)”}”(hŒREPORTING BUGS”h]”hŒREPORTING BUGS”…””}”(hj‚h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjh²hh³Œ*Documentation/tools/rv/common_appendix.rst”h´Kubj)”}”(hŒUReport bugs to and ”h]”(hŒReport bugs to <”…””}”(hj‘h²hh³Nh´Nubj")”}”(hŒlinux-kernel@vger.kernel.org”h]”hŒlinux-kernel@vger.kernel.org”…””}”(hj™h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”Œ#mailto:linux-kernel@vger.kernel.org”uh1j!hj‘ubhŒ> and <”…””}”(hj‘h²hh³Nh´Nubj")”}”(hŒ!linux-trace-devel@vger.kernel.org”h]”hŒ!linux-trace-devel@vger.kernel.org”…””}”(hj­h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”Œ(mailto:linux-trace-devel@vger.kernel.org”uh1j!hj‘ubhŒ>”…””}”(hj‘h²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³jh´Khjh²hubeh}”(h]”Œreporting-bugs”ah ]”h"]”Œreporting bugs”ah$]”h&]”uh1hÈhhÝh²hh³jh´KubhÉ)”}”(hhh]”(hÎ)”}”(hŒLICENSE”h]”hŒLICENSE”…””}”(hjÒh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjÏh²hh³jh´Kubj)”}”(hŒ4**rv** is Free Software licensed under the GNU GPLv2”h]”(jF)”}”(hŒ**rv**”h]”hŒrv”…””}”(hjäh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jEhjàubhŒ. is Free Software licensed under the GNU GPLv2”…””}”(hjàh²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1jh³jh´K hjÏh²hubeh}”(h]”Œlicense”ah ]”h"]”Œlicense”ah$]”h&]”uh1hÈhhÝh²hh³jh´KubhÉ)”}”(hhh]”(hÎ)”}”(hŒCOPYING”h]”hŒCOPYING”…””}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjh²hh³jh´K ubj)”}”(hŒwCopyright \(C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).”h]”hŒwCopyright (C) 2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU Public License (GPL).”…””}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jh³jh´Khjh²hubeh}”(h]”Œcopying”ah ]”h"]”Œcopying”ah$]”h&]”uh1hÈhhÝh²hh³jh´K ubeh}”(h]”Œruntime-verification”ah ]”h"]”Œruntime verification”ah$]”h&]”uh1hÈhhÊh²hh³hÇh´Kubeh}”(h]”Œrv”ah ]”h"]”Œrv”ah$]”h&]”uh1hÈhhh²hh³hÇh´Kubeh}”(h]”h ]”h"]”h$]”h&]”Œsource”hÇuh1hŒcurrent_source”NŒ current_line”NŒsettings”Œdocutils.frontend”ŒValues”“”)”}”(hÍNŒ generator”NŒ datestamp”NŒ source_link”NŒ source_url”NŒ toc_backlinks”Œentry”Œfootnote_backlinks”KŒ sectnum_xform”KŒstrip_comments”NŒstrip_elements_with_classes”NŒ strip_classes”NŒ report_level”KŒ halt_level”KŒexit_status_level”KŒdebug”NŒwarning_stream”NŒ traceback”ˆŒinput_encoding”Œ utf-8-sig”Œinput_encoding_error_handler”Œstrict”Œoutput_encoding”Œutf-8”Œoutput_encoding_error_handler”j^Œerror_encoding”Œutf-8”Œerror_encoding_error_handler”Œbackslashreplace”Œ language_code”Œen”Œrecord_dependencies”NŒconfig”NŒ id_prefix”hŒauto_id_prefix”Œid”Œ dump_settings”NŒdump_internals”NŒdump_transforms”NŒdump_pseudo_xml”NŒexpose_internals”NŒstrict_visitor”NŒ_disable_config”NŒ_source”hÇŒ _destination”NŒ _config_files”]”Œ7/var/lib/git/docbuild/linux/Documentation/docutils.conf”aŒfile_insertion_enabled”ˆŒ raw_enabled”KŒline_length_limit”M'Œpep_references”NŒ pep_base_url”Œhttps://peps.python.org/”Œpep_file_url_template”Œpep-%04d”Œrfc_references”NŒ rfc_base_url”Œ&https://datatracker.ietf.org/doc/html/”Œ tab_width”KŒtrim_footnote_reference_space”‰Œsyntax_highlight”Œlong”Œ smart_quotes”ˆŒsmartquotes_locales”]”Œcharacter_level_inline_markup”‰Œdoctitle_xform”‰Œ docinfo_xform”KŒsectsubtitle_xform”‰Œ image_loading”Œlink”Œembed_stylesheet”‰Œcloak_email_addresses”ˆŒsection_self_link”‰Œenv”NubŒreporter”NŒindirect_targets”]”Œsubstitution_defs”}”Œsubstitution_names”}”Œrefnames”}”Œrefids”}”Œnameids”}”(j8j5j0j-jŠj‡jãjàj\jYjÅjÂjAj>j|jyjÌjÉjjþj(j%uŒ nametypes”}”(j8‰j0‰jЉjã‰j\‰jʼnjA‰j|‰j̉j‰j(‰uh}”(j5hÊj-hÝj‡j0jàjjYjæjÂj_j>jÈjyjDjÉjjþjÏj%juŒ footnote_refs”}”Œ citation_refs”}”Œ autofootnotes”]”Œautofootnote_refs”]”Œsymbol_footnotes”]”Œsymbol_footnote_refs”]”Œ footnotes”]”Œ citations”]”Œautofootnote_start”KŒsymbol_footnote_start”KŒ id_counter”Œ collections”ŒCounter”“”}”…”R”Œparse_messages”]”Œtransform_messages”]”Œ transformer”NŒ include_log”]”ŒDocumentation/tools/rv/rv.rst”(NNNNt”†”aŒ decoration”Nh²hub.