This page is a stub. Please visit the full event page here.

The Runtime Verification conference series aims to bring scientists from bothacademia and industry together to debate how to monitor, analyze and guide the execution of (computer) 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: 
1) 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; and
2) on the other hand, whether formalisms improve traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation.

RV 2014 will be the fifth time that Runtime Verification has run as an independent international conference.