rv¶
运行时验证¶
- 手册章节:
1
概要¶
rv 命令 [选项]
描述¶
运行时验证（RV）是一种轻量级（但严谨）的形式化验证方法，为复杂系统提供了一种实用方法。RV 不依赖于系统的细粒度模型（例如，指令级的重新实现），而是通过分析系统实际执行的跟踪来工作，并将其与系统行为的形式化规范进行比较。
rv 工具为一系列运行时验证 (rv) 监视器提供了接口。
命令¶
list
列出所有可用的监视器。
mon
运行监视器。
选项¶
-h，--help
显示帮助文本。
有关其他选项，请参阅相应命令的手册页。
另请参阅¶
rv-list(1)，rv-mon(1)
Linux 内核 RV 文档: <https://linuxkernel.org.cn/doc/html/latest/trace/rv/index.html>
报告错误¶
请将错误报告发送至 <linux-kernel@vger.kernel.org> 和 <linux-trace-devel@vger.kernel.org>
许可证¶
rv 是在 GNU GPLv2 许可下发布的自由软件。
版权¶
版权所有 (C) 2022 Red Hat, Inc. 根据 GNU 通用公共许可证 (GPL) 的条款，允许自由使用本软件。