Submission deadline in 2 months: RV 2010 at Malta

Eric | March 30, 2010

RV Conference










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.

Read the rest of this entry »

Comments Off on Submission deadline in 2 months: RV 2010 at Malta