The Linux Kernel
6.1.115
  • A guide to the Kernel Development Process
  • Submitting patches: the essential guide to getting your code into the kernel
  • Code of conduct
  • Kernel Maintainer Handbook
  • All development-process docs
  • Core API Documentation
  • The Linux driver implementer’s API guide
  • Kernel subsystem documentation
  • Locking in the kernel
  • Linux kernel licensing rules
  • How to write kernel documentation
  • Development tools for the kernel
  • Kernel Testing Guide
  • Kernel Hacking Guides
  • Linux Tracing Technologies
    • Function Tracer Design
    • Notes on Analysing Behaviour Using Events and Tracepoints
    • ftrace - Function Tracer
    • Using ftrace to hook to functions
    • Fprobe - Function entry/exit probe
    • Kernel Probes (Kprobes)
    • Kprobe-based Event Tracing
    • Uprobe-tracer: Uprobe-based Event Tracing
    • Using the Linux Kernel Tracepoints
    • Event Tracing
    • Subsystem Trace Points: kmem
    • Subsystem Trace Points: power
    • NMI Trace Events
    • MSR Trace Events
    • In-kernel memory-mapped I/O tracing
    • Event Histograms
    • Histogram Design Notes
    • Boot-time tracing
    • Hardware Latency Detector
    • OSNOISE Tracer
    • Timerlat tracer
    • Intel(R) Trace Hub (TH)
    • Lockless Ring Buffer Design
    • System Trace Module
    • MIPI SyS-T over STP
    • CoreSight - ARM Hardware Trace
    • user_events: User-based Event Tracing
    • Runtime Verification
      • Runtime Verification
      • Deterministic Automata
      • Deterministic Automata Monitor Synthesis
      • Deterministic Automata Instrumentation
      • Monitor wip
      • Monitor wwnr
    • HiSilicon PCIe Tune and Trace device
  • fault-injection
  • Kernel Livepatching
  • Rust
  • The Linux kernel user’s and administrator’s guide
  • The kernel build system
  • Reporting issues
  • User-space tools
  • The Linux kernel user-space API guide
  • The Linux kernel firmware guide
  • Open Firmware and Devicetree
  • CPU Architectures
  • Unsorted Documentation
  • Translations
The Linux Kernel
  • Linux Tracing Technologies
  • Runtime Verification
  • View page 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
Previous Next

© Copyright The kernel development community.

Built with Sphinx using a theme provided by Read the Docs.