diff options
| author | Nam Cao <namcao@linutronix.de> | 2025-07-04 15:20:07 +0200 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2025-07-24 10:42:47 -0400 |
| commit | e93648e86273a5d74b4fb96b645950249668093c (patch) | |
| tree | 4013a204dbdff1fc1c1762543386a1fe351e147f /scripts/gdb/linux/xarray.py | |
| parent | 97ffa4ce6ab329bf601f1362bb2e181636fcc3a0 (diff) | |
Documentation/rv: Add documentation for linear temporal logic monitors
Add documents describing linear temporal logic runtime verification
monitors and how to generate them using rvgen.
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Cc: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/be13719e66fd8da147d7c69d5365aa23c52b743f.1751634289.git.namcao@linutronix.de
Signed-off-by: Nam Cao <namcao@linutronix.de>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'scripts/gdb/linux/xarray.py')
0 files changed, 0 insertions, 0 deletions