Background
The Runtime verification workshop series was initiated in 2001, and workshops have occurred each year since then. The objective of these events is to bring scientists from both academia and industry together to debate on how to monitor, analyze and guide the execution of programs. The ultimate longer term goal is to investigate the use of lightweight formal methods applied during the execution of programs from the following two points of view. On the one hand, whether runtime application of formal methods is a viable complement to the traditional methods proving programs correct before their execution, such as model checking and theorem proving. On the other hand, whether formality improves traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS.
Starting with year 2010, RV has become an international yearly conference.
The Runtime verification workshop series was initiated in 2001, and workshops have occurred each year since then. The objective of these events is to bring scientists from both academia and industry together to debate on how to monitor, analyze and guide the execution of programs. The ultimate longer term goal is to investigate the use of lightweight formal methods applied during the execution of programs from the following two points of view. On the one hand, whether runtime application of formal methods is a viable complement to the traditional methods proving programs correct before their execution, such as model checking and theorem proving. On the other hand, whether formality improves traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS.
Starting with year 2010, RV has become an international yearly conference.