The Linux Kernel
next-20250424
Quick search
Contents
Development process
Submitting patches
Code of conduct
Maintainer handbook
All development-process docs
Core API
Driver APIs
Subsystems
Locking
Licensing rules
Writing documentation
Development tools
Testing guide
Hacking guide
Tracing
Introduction to Tracing
Core Tracing Frameworks
Event Tracing and Analysis
Hardware and Performance Tracing
Intel(R) Trace Hub (TH)
System Trace Module
MIPI SyS-T over STP
CoreSight - ARM Hardware Trace
Runtime Verification
HiSilicon PCIe Tune and Trace device
In-kernel memory-mapped I/O tracing
Hardware Latency Detector
OSNOISE Tracer
Timerlat tracer
User-Space Tracing
Additional Resources
Fault injection
Livepatching
Rust
Administration
Build system
Reporting issues
Userspace tools
Userspace API
Firmware
Firmware and Devicetree
CPU architectures
Unsorted documentation
Translations
This Page
Show Source
Runtime Verification
¶
Runtime Verification
Runtime Monitors and Reactors
Online RV monitors
The user interface
Deterministic Automata
Deterministic Automaton in C
Graphviz .dot format
dot2c
Remarks
References
Deterministic Automata Monitor Synthesis
DA monitor synthesis
dot2k
Monitor macros
Final remarks
Deterministic Automata Instrumentation
Tracing callback functions
enable and disable functions
Instrumentation helpers
Monitor wip
Description
Specification
Monitor wwnr
Description
Specification
Scheduler monitors
Description
Specifications
References
