Just in case you did not know yet: RV is becoming a conference. Submissions are due June 1st.
Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as program understanding, systems usage understanding, security or safety policy monitoring,
debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formalized specifications, analyzed with special algorithms, visualized, etc.
