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