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) 的条款下授予免费使用本软件的权利。