mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2025-08-17 06:47:39 +00:00
e93648e862
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>
18 lines
331 B
ReStructuredText
18 lines
331 B
ReStructuredText
====================
|
|
Runtime Verification
|
|
====================
|
|
|
|
.. toctree::
|
|
:maxdepth: 2
|
|
:glob:
|
|
|
|
runtime-verification.rst
|
|
deterministic_automata.rst
|
|
linear_temporal_logic.rst
|
|
monitor_synthesis.rst
|
|
da_monitor_instrumentation.rst
|
|
monitor_wip.rst
|
|
monitor_wwnr.rst
|
|
monitor_sched.rst
|
|
monitor_rtapp.rst
|