Everything About ___
Live briefing

Everything about Runtime verification

Extraction of information from a running system to verify certain properties

Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications. Runtime verification specifications are typically expressed in trace predicate formalisms, such as finite-state machines, regular expressions, context-free patterns, linear temporal logics, etc., or extensions of these. This allows for a less ad-hoc approach than normal testing. However, any mechanism for monitoring an executing system is considered runtime verification, including verifying against test oracles and reference implementations. When formal requirements specifications are provided, monitors are synthesized from them and infused within the system by means of instrumentation. Runtime verification can be used for many purposes, such as security or safety policy monitoring, debugging, testing, verification, validation, profiling, fault protection, behavior modification, etc. Runtime verification avoids the complexity of traditional formal verification techniques, such as model checking and theorem proving, by analyzing only one or a few execution traces and by working directly with the actual system, thus scaling up relatively well and giving more confidence in the results of the analysis, at the expense of less coverage. Moreover, through its reflective capabilities runtime verification can be made an integral part of the target system, monitoring and guiding its execution during deployment. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Runtime verificationA 5-minute orientation
  2. Skim a recent paper: Runtime Verification and Field-Based Testing for ROS-Based Robotic SystemsInfluential work since 2022
  3. Pick up a classic book: Intelligent Information and Database SystemsThe most-reprinted book on the subject
  4. Read the landmark paper: A brief account of runtime verificationCited 741 times
  5. Go sideways: Grigore RoșuA closely related topic
  6. Go sideways: Program analysisA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🗂️ The subject at a glance

  1. History and context
  2. Basic approaches
  3. Examples
  4. Research challenges and applications
  5. Related work

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics